Alternatives and similar repositories for debate

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

• zhangir-azerbayev / proof-pile
  Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.
  ☆22Updated 3 years ago
• epfl-dlab / GCD
  ☆49Updated 11 months ago
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆39Updated 2 years ago
• EleutherAI / mdl
  Minimum Description Length probing for neural network representations
  ☆20Updated last year
• HKUNLP / subgoal-theorem-prover
  Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"
  ☆19Updated 2 years ago
• princeton-nlp / TransformerPrograms
  [NeurIPS 2023] Learning Transformer Programs
  ☆162Updated last year
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆40Updated last year
• zhaoxlpku / SubgoalXL
  ☆25Updated last year
• Dahoas / QDSyntheticData
  ☆14Updated last year
• facebookresearch / mbr-exec
  code for "Natural Language to Code Translation with Execution"
  ☆41Updated 3 years ago
• hannamw / MIB-circuit-track
  ☆23Updated 7 months ago
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆141Updated 9 months ago
• r-three / RAD
  Reference implementation for Reward-Augmented Decoding: Efficient Controlled Text Generation With a Unidirectional Reward Model
  ☆45Updated 4 months ago
• ctlllll / reward_collapse
  ☆26Updated 2 years ago
• zorazrw / odex
  [EMNLP'23] Execution-Based Evaluation for Open Domain Code Generation
  ☆49Updated 2 years ago
• sileod / llm-theory-of-mind
  Testing Theory of Mind (ToM) in language models with epistemic logic
  ☆22Updated 2 years ago
• Yuanhy1997 / HyPe
  HyPe: Better Pre-trained Language Model Fine-tuning with Hidden Representation Perturbation [ACL 2023]
  ☆14Updated 2 years ago
• microsoft / deep-language-networks
  We view Large Language Models as stochastic language layers in a network, where the learnable parameters are the natural language prompts…
  ☆95Updated last year
• fzyzcjy / ai_math_paper_list
  AI for Mathematics Paper List
  ☆17Updated last year
• COLM-org / Template
  ☆20Updated 2 months ago
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆30Updated last year
• benlipkin / linc
  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
  ☆80Updated 2 years ago
• shunzh / Code-AI-Tree-Search
  ☆119Updated last year
• alon-albalak / FLAD
  Few-shot Learning with Auxiliary Data
  ☆31Updated 2 years ago
• LoryPack / LLM-LieDetector
  Code for the ICLR 2024 paper "How to catch an AI liar: Lie detection in black-box LLMs by asking unrelated questions"
  ☆71Updated last year
• HazyResearch / embroid
  Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classification
  ☆11Updated 2 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆72Updated last year
• ethz-spylab / superhuman-ai-consistency
  ☆30Updated 2 years ago
• feradauto / MoralCoT
  Repo for: When to Make Exceptions: Exploring Language Models as Accounts of Human Moral Judgment
  ☆38Updated 2 years ago
• Some-random / theorem-proving-reasoning
  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
  ☆26Updated last year