StanfordVL / sail-blogLinks
The SAIL blog
☆11Updated 2 weeks ago
Alternatives and similar repositories for sail-blog
Users that are interested in sail-blog are comparing it to the libraries listed below
Sorting:
- ☆48Updated 2 months ago
- ☆16Updated this week
- Python wrapper for lean-gym☆12Updated 2 years ago
- ☆45Updated last year
- Code that searches for ribbon bands☆17Updated 8 months ago
- Harmonic Datasets☆51Updated last year
- A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…☆30Updated 2 months ago
- Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"☆26Updated 5 months ago
- Benchmark for undergraduate-level formal mathematics☆109Updated 11 months ago
- LLMs + Lean, on your laptop or in the cloud☆187Updated this week
- Modelling the new Lead-Copper apatite proposed room temperature supeconductor☆31Updated 2 years ago
- Formalizing stochastic doubly-efficient debate☆111Updated last year
- ☆16Updated last year
- ☆34Updated last month
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆71Updated 8 months ago
- Implementation of "SALSA-CLRS: A Sparse and Scalable Benchmark for Algorithmic Reasoning". SALSA-CLRS is an extension to the original clr…☆20Updated last year
- Graph-based neural tactic prediction models for Coq.☆14Updated 3 weeks ago
- CiteME is a benchmark designed to test the abilities of language models in finding papers that are cited in scientific texts.☆48Updated 11 months ago
- Official PyTorch and JAX Implementation of "Harmonics of Learning: Universal Fourier Features Emerge in Invariant Networks"☆38Updated last year
- This is the official repository for all the code of TheoremLlama☆45Updated 2 months ago
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆66Updated last week
- Clover: Closed-Loop Verifiable Code Generation☆35Updated 5 months ago
- A framework for few-shot evaluation of autoregressive language models.☆12Updated 2 months ago
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Updated 7 months ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- Predicting the Future of AI with AI: High-quality link prediction in an exponentially growing knowledge network☆79Updated last year
- Convert natural language to LaTeX within Overleaf using LLMs☆120Updated 2 years ago
- ☆11Updated last year
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆37Updated 3 months ago
- Experiments with interactive theorem provers, LLMs and formal systems☆21Updated 2 years ago