| | A collection of formalized statements of conjectures in Lean (github.com/google-deepmind) |
| 2 points by EvgeniyZh 69 days ago | past |
|
| | AlphaGenome (github.com/google-deepmind) |
| 1 point by husamia 4 months ago | past |
|
| | AlphaGenome Model Programmatic Access (github.com/google-deepmind) |
| 1 point by the_optimist 4 months ago | past |
|
| | AlphaGenome (github.com/google-deepmind) |
| 4 points by zerojames 4 months ago | past |
|
| | Google-DeepMind/formal-conjectures repository: formalized conjectures (github.com/google-deepmind) |
| 1 point by isaacfrond 5 months ago | past |
|
| | Formal Conjectures (github.com/google-deepmind) |
| 4 points by md224 5 months ago | past |
|
| | Google-DeepMind/formal-conjectures: collection of formalized conjectures in lean (github.com/google-deepmind) |
| 4 points by diginova 5 months ago | past |
|
| | Tracr: TRAnsformer Compiler for RASP (2023) (github.com/google-deepmind) |
| 1 point by walterbell 9 months ago | past |
|
| | AlphaFold 3 Code (github.com/google-deepmind) |
| 137 points by MurizS on Nov 11, 2024 | past | 23 comments |
|
| | Evergreen Protocol (github.com/google-deepmind) |
| 2 points by zerojames on Nov 4, 2024 | past |
|
| | Grandmaster-level chess without search (github.com/google-deepmind) |
| 365 points by lawrenceyan on Oct 17, 2024 | past | 168 comments |
|
| | Simulate interactions of AI agents in physical, social, or digital space (github.com/google-deepmind) |
| 2 points by selvan on Aug 2, 2024 | past |
|
| | Treescope: Interactive HTML visualization library for Python neural networks (github.com/google-deepmind) |
| 65 points by zerojames on July 25, 2024 | past | 6 comments |
|
| | Google DeepMind Barkour: Open-source quadruped robot (github.com/google-deepmind) |
| 2 points by asadm on July 16, 2024 | past |
|
| | NanoDO: A minimal Transformer decoder-only language model implementation (github.com/google-deepmind) |
| 12 points by yeldarb on June 4, 2024 | past | 1 comment |
|
| | Barkour Robot: Agile Quadruped Robots by Google DeepMind (github.com/google-deepmind) |
| 2 points by yeldarb on May 13, 2024 | past | 1 comment |
|
| | Google Deep Mind Open-Sources Hardware for Barkour Robot (github.com/google-deepmind) |
| 3 points by bsilvereagle on May 13, 2024 | past |
|
| | OneTwo: LangChain Replacement from Google DeepMind (github.com/google-deepmind) |
| 1 point by sharatsc on May 2, 2024 | past |
|
| | TORAX is a differentiable tokamak core transport simulator (github.com/google-deepmind) |
| 105 points by yeldarb on May 1, 2024 | past | 21 comments |
|
| | Penzai: JAX research toolkit for building, editing, and visualizing neural nets (github.com/google-deepmind) |
| 261 points by mccoyb on April 21, 2024 | past | 51 comments |
|
| | Penzai: JAX Research Toolkit for Neural Networks (github.com/google-deepmind) |
| 3 points by ubj on April 19, 2024 | past |
|
| | Implementation of Google's Griffin Architecture – RNN LLM (github.com/google-deepmind) |
| 218 points by milliondreams on April 10, 2024 | past | 38 comments |
|
| | RecurrentGemma: Mixture local attention and linear recurrences (github.com/google-deepmind) |
| 3 points by tosh on April 9, 2024 | past |
|
| | LongFact – Long-Form Factuality in Large Language Models (github.com/google-deepmind) |
| 8 points by gfortaine on March 29, 2024 | past |
|
| | Fun Search (github.com/google-deepmind) |
| 1 point by lawrenceyan on Dec 15, 2023 | past |
|
| | Google DeepMind's research on uncertain ground truth in AI eval (github.com/google-deepmind) |
| 2 points by minraws on Dec 6, 2023 | past |
|
| | Monte Carlo tree search in Jax (github.com/google-deepmind) |
| 2 points by georgehill on Nov 23, 2023 | past |
|
| | GraphCast: Learning skillful medium-range global weather forecasting (github.com/google-deepmind) |
| 2 points by spallas on Nov 14, 2023 | past |
|
| | MuJoCo 3 (github.com/google-deepmind) |
| 1 point by alphabetting on Oct 18, 2023 | past |
|
