Highlights
- Pro
-
formal-conjectures Public
Forked from google-deepmind/formal-conjecturesA collection of formalized statements of conjectures in Lean.
Lean Apache License 2.0 UpdatedJan 7, 2026 -
-
-
erdos_321_computation Public
Further computation of R(N) in #321, see https://github.com/teorth/erdosproblems/issues/161.
-
-
intelligent-go-explore Public
Intelligent Go-Explore: Standing on the Shoulders of Giant Foundation Models
-
ACD Public
Automated Capability Discovery via Foundation Model Self-Exploration
-
v-d4rl Public
Challenges and Opportunities in Offline Reinforcement Learning from Visual Observations
-
-
accelerate Public
Forked from huggingface/accelerate🚀 A simple way to train and use PyTorch models with multi-GPU, TPU, mixed-precision
Python Apache License 2.0 UpdatedMar 19, 2023 -
-
mj_envs Public
Forked from anair13/mj_envsA collection of MuJoCo based environments.
-
nppac Public
Code to accompany the paper 'On Pathologies in KL-Regularized Reinforcement Learning from Expert Demonstrations'
-
football Public
Forked from schroederdewitt/footballCheck out the new game server:
Python Apache License 2.0 UpdatedApr 19, 2022 -
robel Public
Forked from google-research/robelROBEL: Robotics Benchmarks for Learning with low-cost robots
Python Apache License 2.0 UpdatedDec 29, 2021 -
metaworld Public
Forked from Farama-Foundation/MetaworldAn open source robotics benchmark for meta- and multi-task reinforcement learning
Python MIT License UpdatedDec 29, 2021 -
dopamine Public
Forked from google/dopamineDopamine is a research framework for fast prototyping of reinforcement learning algorithms.
Jupyter Notebook Apache License 2.0 UpdatedDec 14, 2021 -
MAVEN Public
Forked from AnujMahajanOxf/MAVENSubmission for MAVEN: Multi-Agent Variational Exploration
Python UpdatedAug 14, 2020 -
-
-
-
-
smhasher Public
Forked from aappleby/smhasherAutomatically exported from code.google.com/p/smhasher
C++ UpdatedFeb 2, 2016