-
kimina Public
Forked from 0art0/kiminaA Lean tactic that invokes the Kimina Prover Preview model to offer proof suggestions.
-
mmverify.py Public
Forked from david-a-wheeler/mmverify.pyMetamath verifier in Python
Python MIT License UpdatedMar 5, 2024 -
autodl-contrib Public
Join us and be credited for AutoDL challenge - the next big thing in automated machine learning. Organized by Google, ChaLearn and 4Paradigm.
-
autocv2-at-ecml2019 Public
Website holding Discovery Challenges session for AutoCV2 Challenge @ ECML PKDD 2019
CSS Creative Commons Zero v1.0 Universal UpdatedJan 20, 2023 -
mlt Public
Code for the paper on Meta-Learning Theory (MLT)
Python Apache License 2.0 UpdatedDec 1, 2021 -
AutoDL-2 Public
Forked from DeepBlueAI/AutoDLPython GNU General Public License v3.0 UpdatedSep 13, 2021 -
automl-workflow Public
An attempt for a universal AutoML workflow API design. Featured AutoDL challenge winning teams DeepWisdom and DeepBlueAI.
-
AutoDL-1 Public
Forked from DeepWisdom/AutoDLAutomated Deep Learning without ANY human intervention. 1'st Solution for AutoDL challenge@NeurIPS.
-
gpt-2 Public
Forked from openai/gpt-2Code for the paper "Language Models are Unsupervised Multitask Learners"
Python Other UpdatedMar 31, 2021 -
tutorials Public
Forked from leanprover-community/tutorialsSome Lean tutorials
Lean Apache License 2.0 UpdatedMar 15, 2021 -
lean-gptf Public
Forked from jesse-michael-han/lean-gptfInteractive neural theorem proving in Lean
Lean Apache License 2.0 UpdatedFeb 28, 2021 -
autodl Public
A machine learning competition in Automated Deep Learning (AutoDL), co-organized by ChaLearn, Google and 4Paradigm. Accepted at NeurIPS 2019.
-
competitions-v1-compute-worker Public
Forked from codalab/competitions-v1-compute-workerPython MIT License UpdatedApr 30, 2020 -
info232 Public
This GitHub repository aims to share teaching resources for L2 students enrolled in the course INFO232 (mini-projet) at Université Paris Sud / Paris-Saclay.
-
nasbench Public
Forked from google-research/nasbenchNASBench: A Neural Architecture Search Dataset and Benchmark
Python Apache License 2.0 UpdatedFeb 5, 2020 -
darts Public
Forked from quark0/dartsDifferentiable architecture search for convolutional and recurrent networks
Python Apache License 2.0 UpdatedJan 2, 2020 -
examples Public
Forked from pytorch/examplesA set of examples around pytorch in Vision, Text, Reinforcement Learning, etc.
Python BSD 3-Clause "New" or "Revised" License UpdatedJan 2, 2020 -
autodl_starting_kit_stable Public
Starting kit for AutoCV/AutoDL challenge (https://autodl.chalearn.org)
-
formalabstracts Public
Forked from formalabstracts/formalabstractsLean MIT License UpdatedNov 5, 2019 -
-
tensorflow Public
Forked from tensorflow/tensorflowAn Open Source Machine Learning Framework for Everyone
C++ Apache License 2.0 UpdatedMar 5, 2019 -
models Public
Forked from tensorflow/modelsModels and examples built with TensorFlow
Python Apache License 2.0 UpdatedNov 21, 2018 -
pyyaml Public
Forked from yaml/pyyamlCanonical source repository for PyYAML
Python MIT License UpdatedJun 19, 2018 -
rl-aic Public
A course I followed during my PhD on Reinforcement Learning in the AIC master program.
-
RoBO Public
Forked from automl/RoBORoBO: a Robust Bayesian Optimization framework
Jupyter Notebook BSD 3-Clause "New" or "Revised" License UpdatedDec 6, 2017 -
auto-sklearn Public
Forked from automl/auto-sklearnPython BSD 3-Clause "New" or "Revised" License UpdatedNov 30, 2017 -
Multilabel-Classification-Datasets Public
Forked from dhruvramani/Multilabel-Classification-DatasetsA collection of dataset blobs for multi label classification
Python UpdatedOct 10, 2017 -
Structured-Data-Project Public
The class project of the course "Structured Data - Learning, Prediction, Dependency, Testing" in the program Master Data Science of Université Paris-Saclay.
-
The data challenge for the course "Advanced Machine Learning for Graph and Text" in the Master Data Science program of Université Paris-Saclay.
-
The data challenge for the course Kernel Methods for Machine Learning of the MVA program
{{ message }}