kyegomez / LOGICGUIDELinks
Plug in and Play implementation of "Certified Reasoning with Language Models" that elevates model reasoning by 40%
☆15Updated 2 years ago
Alternatives and similar repositories for LOGICGUIDE
Users that are interested in LOGICGUIDE are comparing it to the libraries listed below
Sorting:
- Repository for NPHardEval, a quantified-dynamic benchmark of LLMs☆59Updated last year
- Code Implementation, Evaluations, Documentation, Links and Resources for Min P paper☆41Updated last month
- ☆86Updated last year
- My implementation of "Algorithm of Thoughts: Enhancing Exploration of Ideas in Large Language Models"☆98Updated last year
- Script for processing OpenAI's PRM800K process supervision dataset into an Alpaca-style instruction-response format☆28Updated 2 years ago
- The code implementation of MAGDi: Structured Distillation of Multi-Agent Interaction Graphs Improves Reasoning in Smaller Language Models…☆37Updated last year
- ☆55Updated 11 months ago
- Implementation of the paper: "AssistantBench: Can Web Agents Solve Realistic and Time-Consuming Tasks?"☆64Updated 10 months ago
- This is the official repository for Inheritune.☆115Updated 8 months ago
- Advanced Reasoning Benchmark Dataset for LLMs☆46Updated last year
- A set of utilities for running few-shot prompting experiments on large-language models☆123Updated last year
- Meta-CoT: Generalizable Chain-of-Thought Prompting in Mixed-task Scenarios with Large Language Models☆99Updated last year
- Official repo for NAACL 2024 Findings paper "LeTI: Learning to Generate from Textual Interactions."☆64Updated 2 years ago
- Reference implementation for Reward-Augmented Decoding: Efficient Controlled Text Generation With a Unidirectional Reward Model☆43Updated last week
- ☆123Updated 7 months ago
- Repository for the paper Stream of Search: Learning to Search in Language☆151Updated 8 months ago
- [ICML 2025] Flow of Reasoning: Training LLMs for Divergent Reasoning with Minimal Examples☆106Updated 2 months ago
- Based on the tree of thoughts paper☆48Updated 2 years ago
- The open source implementation of "Connecting Large Language Models with Evolutionary Algorithms Yields Powerful Prompt Optimizers"☆18Updated last year
- ☆134Updated last year
- A repository for research on medium sized language models.☆78Updated last year
- ☆102Updated 9 months ago
- ☆41Updated last year
- Functional Benchmarks and the Reasoning Gap☆89Updated last year
- Anchored Preference Optimization and Contrastive Revisions: Addressing Underspecification in Alignment☆60Updated last year
- Small, simple agent task environments for training and evaluation☆18Updated 11 months ago
- Syntax Error-Free and Generalizable Tool Use for LLMs via Finite-State Decoding☆27Updated last year
- Middleware for LLMs: Tools Are Instrumental for Language Agents in Complex Environments (EMNLP'2024)☆37Updated 9 months ago
- Scalable Meta-Evaluation of LLMs as Evaluators☆42Updated last year
- Code for Paper: Autonomous Evaluation and Refinement of Digital Agents [COLM 2024]☆145Updated 10 months ago