GammaTauAI / WeeklyReadingsArchiveLinks
Papers read during our weekly reading group
☆12Updated last year
Alternatives and similar repositories for WeeklyReadingsArchive
Users that are interested in WeeklyReadingsArchive are comparing it to the libraries listed below
Sorting:
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆75Updated last year
- LLMs + Lean, on your laptop or in the cloud☆199Updated 3 months ago
- Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions☆48Updated 4 months ago
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆203Updated 3 weeks ago
- Retrieval-Augmented Theorem Provers for Lean☆316Updated last year
- Automatic solver for plane geometry problems.☆86Updated 5 months ago
- Our solution to Putnam 2025.☆70Updated last month
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆69Updated 2 weeks ago
- Harmonic Datasets☆52Updated last year
- Efficient and general syntactical decoding for Large Language Models☆319Updated 3 weeks ago
- ☆83Updated last year
- A domain-specific probabilistic programming language for modeling and inference with language models☆141Updated 9 months ago
- Allows to check regexes for overlaps. Based on greenery by @qntm.☆56Updated last year
- Using Large Language Models for Repo-wide Type Prediction☆114Updated 2 years ago
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆98Updated last year
- LLM verified with Monte Carlo Tree Search☆284Updated 10 months ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆38Updated last year
- Formalizing stochastic doubly-efficient debate☆118Updated last year
- RepoQA: Evaluating Long-Context Code Understanding☆128Updated last year
- Benchmark for undergraduate-level formal mathematics☆116Updated last year
- Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025☆43Updated 3 weeks ago
- Probabilistic programming with large language models☆159Updated 2 months ago
- [ICML '24] R2E: Turn any GitHub Repository into a Programming Agent Environment☆140Updated 9 months ago
- Controlled text generation with programmable constraints☆176Updated last week
- [FORGE 2025] Graph-based method for end-to-end code completion with context awareness on repository☆71Updated last year
- ☆76Updated 7 months ago
- Lean formalizations of IMO problem statements☆30Updated 3 months ago
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆43Updated 2 years ago
- HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à co…☆40Updated last year
- A framework for evaluating the effectiveness of chain-of-thought reasoning in language models.☆19Updated last year