collinskatie / checkmateLinks
☆45Updated 10 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☆45Updated last year
- Neural theorem proving tutorial, version II☆38Updated last year
- Evaluation of neuro-symbolic engines☆39Updated last year
- Materials for ConceptARC paper☆98Updated 9 months ago
- This is the official repository for all the code of TheoremLlama☆44Updated 10 months ago
- LLMs + Lean, on your laptop or in the cloud☆175Updated 3 weeks ago
- Sparse and discrete interpretability tool for neural networks☆63Updated 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
- LILO: Library Induction with Language Observations☆88Updated 11 months ago
- Repository for the paper Stream of Search: Learning to Search in Language☆150Updated 6 months ago
- Learning Universal Predictors☆78Updated last year
- A domain-specific probabilistic programming language for modeling and inference with language models☆132Updated 3 months ago
- Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"☆24Updated 3 months ago
- ☆95Updated 3 months ago
- ☆41Updated 10 months ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆29Updated last month
- Q-Probe: A Lightweight Approach to Reward Maximization for Language Models☆41Updated last year
- ☆136Updated 4 months ago
- ☆25Updated 2 months ago
- ☆71Updated last week
- ☆29Updated 2 years ago
- ☆78Updated 4 months ago
- An environment for learning formal mathematical reasoning from scratch☆72Updated 11 months ago
- ☆88Updated 7 months ago
- Functional Benchmarks and the Reasoning Gap☆88Updated 10 months ago
- gzip Predicts Data-dependent Scaling Laws☆35Updated last year
- ☆10Updated 3 months ago
- Minimum Description Length probing for neural network representations☆18Updated 6 months ago
- A testbed for agents and environments that can automatically improve models through data generation.☆27Updated 5 months ago
- ☆163Updated last year