Alternatives and similar repositories for debate

Users that are interested in debate are comparing it to the libraries listed below

• HKUNLP / subgoal-theorem-prover
  Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"
  ☆19Updated 2 years ago
• EleutherAI / mdl
  Minimum Description Length probing for neural network representations
  ☆18Updated 4 months ago
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆38Updated 2 years ago
• facebookresearch / mbr-exec
  code for "Natural Language to Code Translation with Execution"
  ☆41Updated 2 years ago
• epfl-dlab / GCD
  ☆38Updated 3 months ago
• Some-random / theorem-proving-reasoning
  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
  ☆22Updated last year
• srush / LLM-Talk
  ☆51Updated last year
• wellecks / llemma_formal2formal
  Llemma formal2formal (tactic prediction) theorem proving experiments
  ☆20Updated last year
• benlipkin / decoding
  Composable inference algorithms with LLMs and programmable logic
  ☆69Updated 6 months ago
• fzyzcjy / ai_math_paper_list
  AI for Mathematics Paper List
  ☆17Updated 5 months ago
• DAMO-NLP-SG / CaRing
  Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
  ☆36Updated last year
• zhaoxlpku / SubgoalXL
  ☆25Updated 10 months ago
• r-three / RAD
  Reference implementation for Reward-Augmented Decoding: Efficient Controlled Text Generation With a Unidirectional Reward Model
  ☆43Updated last year
• janphilippfranken / sami
  Self-Supervised Alignment with Mutual Information
  ☆19Updated last year
• hannamw / MIB-circuit-track
  ☆14Updated 3 weeks ago
• iiis-ai / IterativeQuestionComposing
  Official implementation of AAAI 2025 paper "Augmenting Math Word Problems via Iterative Question Composing"(https://arxiv.org/abs/2401.09…
  ☆20Updated 6 months ago
• zhangir-azerbayev / proof-pile
  Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.
  ☆19Updated 2 years ago
• Yuanhy1997 / HyPe
  HyPe: Better Pre-trained Language Model Fine-tuning with Hidden Representation Perturbation [ACL 2023]
  ☆14Updated last year
• allenai / ruletaker
  ☆48Updated 6 months ago
• alon-albalak / FLAD
  Few-shot Learning with Auxiliary Data
  ☆28Updated last year
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆38Updated last year
• koayon / atp_star
  PyTorch and NNsight implementation of AtP* (Kramar et al 2024, DeepMind)
  ☆18Updated 5 months ago
• violet-zct / swarm-distillation-zero-shot
  ☆22Updated 2 years ago
• technion-cs-nlp / hallucination-mitigation
  ☆22Updated 6 months ago
• jmerullo / lm_vector_arithmetic
  ☆35Updated 2 years ago
• GSYfate / knnlm-limits
  Official code repo for paper "Great Memory, Shallow Reasoning: Limits of kNN-LMs"
  ☆23Updated last month
• zhangir-azerbayev / MetaMath
  ☆11Updated last year
• PrasannS / rlhf-length-biases
  ☆28Updated last year
• microsoft / text-to-sql-schema-expansion-generalization
  Bridging the Generalization Gap in Text-to-SQL Parsing with Schema Expansion
  ☆13Updated last year
• scottlogic-alex / prm800k-denorm
  Script for processing OpenAI's PRM800K process supervision dataset into an Alpaca-style instruction-response format
  ☆27Updated last year