Alternatives and similar repositories for QDSyntheticData

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

• hughbzhang / o1_inference_scaling_laws
  Replicating O1 inference-time scaling laws
  ☆89Updated 9 months ago
• Edward-Sun / easy-to-hard
  Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision
  ☆123Updated last year
• ucl-dark / llm_debate
  Code release for "Debating with More Persuasive LLMs Leads to More Truthful Answers"
  ☆116Updated last year
• casmlab / NPHardEval
  Repository for NPHardEval, a quantified-dynamic benchmark of LLMs
  ☆59Updated last year
• JacobPfau / fillerTokens
  ☆72Updated last year
• shunzh / Code-AI-Tree-Search
  ☆119Updated last year
• 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"
  ☆72Updated last year
• zhaoxlpku / SubgoalXL
  ☆25Updated last year
• UFO-101 / auto-circuit
  A library for efficient patching and automatic circuit discovery.
  ☆76Updated last month
• protagolabs / odyssey-math
  ☆84Updated 7 months ago
• XiangLi1999 / AutoBencher
  ☆31Updated last year
• Zayne-sprague / MuSR
  ☆50Updated last year
• KoyenaPal / future-lens
  Code and Data Repo for the CoNLL Paper -- Future Lens: Anticipating Subsequent Tokens from a Single Hidden State
  ☆18Updated last year
• nouhadziri / faith-and-fate
  ☆35Updated last year
• GXimingLu / IPA
  Codebase for Inference-Time Policy Adapters
  ☆24Updated last year
• MadryLab / DsDm
  ☆50Updated last year
• OSU-NLP-Group / llm-planning-eval
  [ACL'24] Code and data of paper "When is Tree Search Useful for LLM Planning? It Depends on the Discriminator"
  ☆54Updated last year
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆38Updated 2 years ago
• rmshin / llm-mcts
  ☆41Updated last year
• mlfoundations / scaling
  Language models scale reliably with over-training and on downstream tasks
  ☆99Updated last year
• lee-ny / teaching_arithmetic
  ☆83Updated 2 years ago
• crux-eval / eval-arena
  ☆28Updated last week
• architsharma97 / dpo-rlaif
  ☆100Updated last year
• samuelarnesen / nyu-debate-modeling
  ☆22Updated 11 months ago
• princeton-nlp / USACO
  Can Language Models Solve Olympiad Programming?
  ☆118Updated 8 months ago
• IBM / SALMON
  Self-Alignment with Principle-Following Reward Models
  ☆165Updated 4 months ago
• HKUNLP / subgoal-theorem-prover
  Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"
  ☆19Updated 2 years ago
• Eleanor-H / MUSTARD
  Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
  ☆41Updated last year
• saprmarks / geometry-of-truth
  ☆91Updated last year
• harmonic-ai / datasets
  Harmonic Datasets
  ☆46Updated last year