cmu-l3 / ntptutorial-IILinks
Neural theorem proving tutorial, version II
☆40Updated last year
Alternatives and similar repositories for ntptutorial-II
Users that are interested in ntptutorial-II are comparing it to the libraries listed below
Sorting:
- Harmonic Datasets☆52Updated last year
- Tutorial on neural theorem proving☆177Updated last year
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆38Updated 2 years ago
- LLMs + Lean, on your laptop or in the cloud☆195Updated last month
- An environment for learning formal mathematical reasoning from scratch☆70Updated last year
- A domain-specific probabilistic programming language for modeling and inference with language models☆137Updated 7 months ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆38Updated last year
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆78Updated last year
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆75Updated 10 months ago
- llmstep: [L]LM proofstep suggestions in Lean 4.☆145Updated 2 years ago
- ☆26Updated last year
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆23Updated last year
- Composable inference algorithms with LLMs and programmable logic☆69Updated last year
- [NeurIPS 2023] Learning Transformer Programs☆162Updated last year
- ☆85Updated 10 months ago
- This is the official repository for all the code of TheoremLlama☆47Updated 4 months ago
- Can Language Models Solve Olympiad Programming?☆122Updated 10 months ago
- Learning Universal Predictors☆81Updated last year
- Probabilistic programming with large language models☆145Updated 3 weeks ago
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆67Updated 2 weeks ago
- Materials for ConceptARC paper☆108Updated last year
- ☆84Updated 2 years ago
- AI for Mathematics Paper List☆17Updated 10 months ago
- Repository for the paper Stream of Search: Learning to Search in Language☆151Updated 10 months ago
- Universal Neurons in GPT2 Language Models☆31Updated last year
- ☆213Updated 2 years ago
- Large language models (LLMs) made easy, EasyLM is a one stop solution for pre-training, finetuning, evaluating and serving LLMs in JAX/Fl…☆76Updated last year
- ☆25Updated last year
- A framework for few-shot evaluation of autoregressive language models.☆24Updated last year
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year