Stars
The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
verl: Volcano Engine Reinforcement Learning for LLMs
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
A collection of LLM papers, blogs, and projects, with a focus on OpenAI o1 🍓 and reasoning techniques.
An example RLDS dataset builder for X-embodiment dataset conversion.
The official PyTorch implementation of Google's Gemma models
Geometrical Birefringence Tomography
PyTorch Lightning + Hydra. A very user-friendly template for ML experimentation. ⚡🔥⚡
Examples and guides for using the OpenAI API
COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
GraphGallery is a gallery for benchmarking Graph Neural Networks
Must-read papers on graph neural networks (GNN)
刷算法全靠套路，认准 labuladong 就够了！English version supported! Crack LeetCode, not only how, but also why.
This repository is to support contributions for tools for the Project CodeNet dataset hosted in DAX