☆139Nov 3, 2023Updated 2 years ago
Alternatives and similar repositories for verify_cot
Users that are interested in verify_cot are comparing it to the libraries listed below
Sorting:
- ☆43Sep 19, 2024Updated last year
- Scratchpad/Chain-of-Thought Prompts☆12Jun 6, 2022Updated 3 years ago
- ☆15Apr 26, 2025Updated 10 months ago
- Data and Code for Program of Thoughts [TMLR 2023]☆306May 15, 2024Updated last year
- Git for "Stepwise Self-Consistent Mathematical Reasoning with Large Language Models"☆12Nov 26, 2024Updated last year
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated last year
- Fork of Flame repo for training of some new stuff in development☆19Feb 27, 2026Updated last week
- ☆17Jun 14, 2023Updated 2 years ago
- Supporting code for ReCEval paper☆31Sep 14, 2024Updated last year
- ☆72Apr 2, 2024Updated last year
- Implementation of MixCE method described in ACL 2023 paper by Zhang et al.☆20May 29, 2023Updated 2 years ago
- Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"☆29May 8, 2025Updated 9 months ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆39Mar 24, 2023Updated 2 years ago
- [TMLR 2024] Official implementation of "Sight Beyond Text: Multi-Modal Training Enhances LLMs in Truthfulness and Ethics"☆20Sep 15, 2023Updated 2 years ago
- This repo contains data and code for the paper "Language Models Enable Simple Systems for Generating Structured Views of Heterogeneous Da…☆493Mar 26, 2024Updated last year
- Inference-Time Intervention: Eliciting Truthful Answers from a Language Model☆572Jan 28, 2025Updated last year
- ☆26May 30, 2023Updated 2 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- Code and data accompanying our paper on arXiv "Faithful Chain-of-Thought Reasoning".☆165May 7, 2024Updated last year
- We have released the code and demo program required for LLM with self-verification☆62Oct 18, 2023Updated 2 years ago
- The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset☆160Apr 23, 2024Updated last year
- Source code for the paper "Automatic Prompt Augmentation and Selection with Chain-of-Thought from Labeled Data"☆20Feb 24, 2024Updated 2 years ago
- ☆29Jul 17, 2023Updated 2 years ago
- Implementation of "LM-Infinite: Simple On-the-Fly Length Generalization for Large Language Models"☆40Nov 11, 2024Updated last year
- Align, a general text alignment function☆15Dec 7, 2023Updated 2 years ago
- Synthetic Data Generation with Execution-Based Verification and Grounding for LLM Training.☆19Feb 7, 2025Updated last year
- Implementation of Monte Carlo Word Movers Distance in Python with TensorFlow☆12Sep 12, 2016Updated 9 years ago
- ☆10Apr 17, 2024Updated last year
- [ICML 2025] Satori: Reinforcement Learning with Chain-of-Action-Thought Enhances LLM Reasoning via Autoregressive Search☆108Jun 3, 2025Updated 9 months ago
- ☆342Jun 5, 2025Updated 9 months ago
- ☆102Dec 7, 2023Updated 2 years ago
- Official implementation of paper "On the Diagram of Thought" (https://arxiv.org/abs/2409.10038)☆193Jan 25, 2026Updated last month
- ☆12Mar 18, 2024Updated last year
- Implementation of the LDP module block in PyTorch and Zeta from the paper: "MobileVLM: A Fast, Strong and Open Vision Language Assistant …☆15Mar 11, 2024Updated last year
- Chain of Images for Intuitively Reasoning☆10Nov 29, 2023Updated 2 years ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated last year
- UC2 micrometer stage☆12Jul 5, 2021Updated 4 years ago
- ☆14Jul 17, 2025Updated 7 months ago