Pinned Loading
Repositories
Showing 10 of 389 repositories
- alphaproof-nexus-results Public
Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.
google-deepmind/alphaproof-nexus-results’s past year of commit activity - autonumerics_zero Public
google-deepmind/autonumerics_zero’s past year of commit activity - regress-lm Public
Library for text-to-text regression, applicable to any input string representation and allows pretraining and fine-tuning over multiple regression tasks.
google-deepmind/regress-lm’s past year of commit activity - mujoco_warp Public
GPU-optimized version of the MuJoCo physics simulator, designed for NVIDIA hardware.
google-deepmind/mujoco_warp’s past year of commit activity - open_spiel Public
OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.
google-deepmind/open_spiel’s past year of commit activity - gemini-robotics-sdk Public
google-deepmind/gemini-robotics-sdk’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…