julianmichael / debateLinks
Debate interface, experiments, etc.
☆10Updated last year
Alternatives and similar repositories for debate
Users that are interested in debate are comparing it to the libraries listed below
Sorting:
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆19Updated 2 years ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆39Updated 2 years ago
- AI for Mathematics Paper List☆17Updated last year
- Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.☆22Updated 3 years ago
- ☆25Updated last year
- ☆23Updated 7 months ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆26Updated last year
- ☆49Updated 11 months ago
- Neural theorem proving tutorial, version II☆40Updated last year
- HyPe: Better Pre-trained Language Model Fine-tuning with Hidden Representation Perturbation [ACL 2023]☆14Updated 2 years ago
- Learning to Model Editing Processes☆26Updated 6 months ago
- List of awesome works that use AI for mathematical discoveries.☆29Updated last week
- code for "Natural Language to Code Translation with Execution"☆41Updated 3 years ago
- Minimum Description Length probing for neural network representations☆20Updated last year
- Harmonic Datasets☆52Updated last year
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆69Updated 3 weeks ago
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆80Updated 2 years ago
- Reference implementation for Reward-Augmented Decoding: Efficient Controlled Text Generation With a Unidirectional Reward Model☆45Updated 4 months ago
- [EMNLP'23] Execution-Based Evaluation for Open Domain Code Generation☆49Updated 2 years ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆141Updated 9 months ago
- Few-shot Learning with Auxiliary Data☆31Updated 2 years ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆38Updated last year
- Composable inference algorithms with LLMs and programmable logic☆69Updated last year
- ☆14Updated last year
- ☆16Updated 2 years ago
- [NeurIPS 2023] Learning Transformer Programs☆162Updated last year
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Updated last year
- ☆29Updated 3 months ago
- A unified benchmark for math reasoning☆89Updated 3 years ago