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:
- Harmonic Datasets☆52Updated last year
- A domain-specific probabilistic programming language for modeling and inference with language models☆140Updated 8 months ago
- Learning Universal Predictors☆81Updated last year
- Bayesian scaling laws for in-context learning.☆15Updated 9 months ago
- Evaluation of neuro-symbolic engines☆40Updated last year
- LILO: Library Induction with Language Observations☆90Updated last year
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆43Updated 2 years ago
- Materials for ConceptARC paper☆110Updated last year
- LLMs + Lean, on your laptop or in the cloud☆199Updated 2 months ago
- Probabilistic programming with large language models☆155Updated last month
- ☆164Updated last year
- Repository for the paper Stream of Search: Learning to Search in Language☆152Updated 11 months ago
- ☆30Updated 2 years ago
- A framework for pitting LLMs against each other in an evolving library of games ⚔☆34Updated 8 months ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆46Updated 6 months ago
- Neural theorem proving tutorial, version II☆40Updated last year
- Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.☆21Updated 3 years ago
- This is the official repository for all the code of TheoremLlama☆47Updated 5 months ago
- Code and data for the paper "Why think step by step? Reasoning emerges from the locality of experience"☆63Updated 9 months ago
- Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta☆13Updated last year
- ☆64Updated this week
- The Energy Transformer block, in JAX☆63Updated 2 years ago
- Automated Capability Discovery via Foundation Model Self-Exploration☆66Updated 10 months ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆30Updated last year
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆75Updated 11 months ago
- ☆105Updated last year
- ☆34Updated 7 months ago
- ☆75Updated last year
- Advanced Reasoning Benchmark Dataset for LLMs☆47Updated 2 years ago
- Minimum Description Length probing for neural network representations☆20Updated 11 months ago