collinskatie / checkmateLinks
☆45Updated 8 months ago
Alternatives and similar repositories for checkmate
Users that are interested in checkmate are comparing it to the libraries listed below
Sorting:
- Harmonic Datasets☆40Updated 10 months ago
- Evaluation of neuro-symbolic engines☆35Updated 10 months ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆26Updated last month
- A domain-specific probabilistic programming language for modeling and inference with language models☆130Updated last month
- ☆43Updated 8 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆64Updated 4 months ago
- ☆22Updated this week
- ☆54Updated 8 months ago
- ☆29Updated last year
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆40Updated last year
- ☆76Updated last month
- Repository for the paper Stream of Search: Learning to Search in Language☆147Updated 4 months ago
- Neural theorem proving tutorial, version II☆36Updated last year
- Advanced Reasoning Benchmark Dataset for LLMs☆46Updated last year
- LILO: Library Induction with Language Observations☆86Updated 9 months ago
- Minimum Description Length probing for neural network representations☆19Updated 4 months ago
- Probabilistic programming with large language models☆119Updated last month
- ☆22Updated 3 weeks ago
- Automated Capability Discovery via Foundation Model Self-Exploration☆49Updated 3 months ago
- Measuring the situational awareness of language models☆35Updated last year
- Efficient Dictionary Learning with Switch Sparse Autoencoders (SAEs)☆23Updated 6 months ago
- ☆131Updated 2 months ago
- LLMs + Lean, on your laptop or in the cloud☆155Updated last month
- Learning Universal Predictors☆74Updated 10 months ago
- Functional Benchmarks and the Reasoning Gap☆86Updated 8 months ago
- This is the official repository for all the code of TheoremLlama☆42Updated 7 months ago
- An environment for learning formal mathematical reasoning from scratch☆67Updated 9 months ago
- Simple repository for training small reasoning models☆31Updated 4 months ago
- A framework for pitting LLMs against each other in an evolving library of games ⚔☆32Updated last month
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆22Updated last year