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☆38Updated 2 years ago
- ☆23Updated 2 months ago
- Minimum Description Length probing for neural network representations☆18Updated 7 months ago
- ☆42Updated 6 months ago
- code for "Natural Language to Code Translation with Execution"☆41Updated 2 years ago
- HyPe: Better Pre-trained Language Model Fine-tuning with Hidden Representation Perturbation [ACL 2023]☆14Updated 2 years ago
- Reference implementation for Reward-Augmented Decoding: Efficient Controlled Text Generation With a Unidirectional Reward Model☆44Updated last year
- Neural theorem proving tutorial, version II☆39Updated last year
- ☆13Updated 2 years ago
- ☆25Updated last year
- ☆14Updated last year
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆22Updated last year
- Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.☆21Updated 2 years ago
- AI for Mathematics Paper List☆17Updated 8 months ago
- Llemma formal2formal (tactic prediction) theorem proving experiments☆20Updated last year
- ☆27Updated last year
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆38Updated last year
- Few-shot Learning with Auxiliary Data☆31Updated last year
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆74Updated last year
- PyTorch and NNsight implementation of AtP* (Kramar et al 2024, DeepMind)☆19Updated 7 months ago
- Harmonic Datasets☆46Updated last year
- LILO: Library Induction with Language Observations☆88Updated last year
- Experiments for efforts to train a new and improved t5☆76Updated last year
- Composable inference algorithms with LLMs and programmable logic☆69Updated 9 months ago
- [EMNLP'23] Execution-Based Evaluation for Open Domain Code Generation☆49Updated last year
- ☆20Updated last year
- Repository for NPHardEval, a quantified-dynamic benchmark of LLMs☆59Updated last year
- Codes and files for the paper Are Emergent Abilities in Large Language Models just In-Context Learning☆33Updated 8 months ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆133Updated 4 months ago