Stars
A community database for the problems on the erdosproblems.com site
Minimalistic Neural Network Trainer for PyTorch inspired by Keras
Minimal open-source implementation of AlphaProof and HyperTree Proof Search.
Aim 💫 — An easy-to-use & supercharged open-source experiment tracker.
Development tool to measure, monitor and analyze the memory behavior of Python objects in a running Python application.
The source code for the blog post The 37 Implementation Details of Proximal Policy Optimization
The repository provides code for running inference with the Meta Segment Anything Model 2 (SAM 2), links for downloading the trained model checkpoints, and example notebooks that show how to use th…
An implementation of Tiny Recursive Models (TRM)
A fork of openai/miniF2F adapted to Lean 4, with corrections to formalizations and informal descriptions. for human readers.
Structured data extraction and programmatic interaction with Lean 4.
A library to analyze PyTorch traces.
Simplifying reinforcement learning for complex game environments
bsuite is a collection of carefully-designed experiments that investigate core capabilities of a reinforcement learning (RL) agent
Procgen Benchmark: Procedurally-Generated Game-Like Gym-Environments
Pytorch implementation of "Genie: Generative Interactive Environments", Bruce et al. (2024).
Retrieval-Augmented Theorem Provers for Lean
Development repository for the Triton language and compiler
A plug-and-use python module to monitor neural network learning.
Implementation of the proposed Adam-atan2 from Google Deepmind in Pytorch
[ICCV 2023] MOSE: A New Dataset for Video Object Segmentation in Complex Scenes
Static site generator that supports Markdown and reST syntax. Powered by Python.
Open-source implementation of AlphaEvolve