collinskatie / checkmateLinks
☆45Updated last year
Alternatives and similar repositories for checkmate
Users that are interested in checkmate are comparing it to the libraries listed below
Sorting:
- Bayesian scaling laws for in-context learning.☆15Updated 10 months ago
- LILO: Library Induction with Language Observations☆90Updated last year
- Harmonic Datasets☆52Updated last year
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆49Updated 7 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
- Minimum Description Length probing for neural network representations☆20Updated last year
- Learning Universal Predictors☆81Updated last year
- ☆30Updated 2 years ago
- LLMs + Lean, on your laptop or in the cloud☆199Updated 3 months ago
- Neural theorem proving tutorial, version II☆40Updated last year
- This is the official repository for all the code of TheoremLlama☆47Updated 5 months ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆141Updated 9 months ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆30Updated last year
- Understanding how features learned by neural networks evolve throughout training☆41Updated last year
- ☆65Updated last week
- Evaluation of neuro-symbolic engines☆41Updated last year
- Sparse and discrete interpretability tool for neural networks☆64Updated last year
- ☆37Updated 8 months ago
- Materials for ConceptARC paper☆112Updated last year
- Functional Benchmarks and the Reasoning Gap☆89Updated last year
- Repository for the paper Stream of Search: Learning to Search in Language☆152Updated 11 months ago
- ☆186Updated last week
- Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"☆28Updated 8 months ago
- AlgoTune is a NeurIPS 2025 benchmark made up of 154 math, physics, and computer science problems. The goal is write code that solves each…☆85Updated last week
- ☆112Updated 11 months ago
- ☆42Updated last year
- ☆33Updated last year
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆25Updated last year
- ☆28Updated 2 years ago
- Google Research☆46Updated 3 years ago