xufangzhi / ENVISIONSLinks
[ACL 2025] A Neural-Symbolic Self-Training Framework
☆109Updated last month
Alternatives and similar repositories for ENVISIONS
Users that are interested in ENVISIONS are comparing it to the libraries listed below
Sorting:
- [EMNLP 2024] Source code for the paper "Learning Planning-based Reasoning with Trajectory Collection and Process Rewards Synthesizing".☆80Updated 6 months ago
- [ICML'2024] Can AI Assistants Know What They Don't Know?☆81Updated last year
- Watch Every Step! LLM Agent Learning via Iterative Step-level Process Refinement (EMNLP 2024 Main Conference)☆60Updated 8 months ago
- ☆46Updated 8 months ago
- [ACL' 25] The official code repository for PRMBench: A Fine-grained and Challenging Benchmark for Process-Level Reward Models.☆74Updated 5 months ago
- [NeurIPS 2024] The official implementation of paper: Chain of Preference Optimization: Improving Chain-of-Thought Reasoning in LLMs.☆124Updated 3 months ago
- Implementation for the research paper "Enhancing LLM Reasoning via Critique Models with Test-Time and Training-Time Supervision".☆55Updated 7 months ago
- This is the repo for our paper "Mr-Ben: A Comprehensive Meta-Reasoning Benchmark for Large Language Models"☆50Updated 8 months ago
- The implementation of paper "LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Fee…☆38Updated 11 months ago
- Trial and Error: Exploration-Based Trajectory Optimization of LLM Agents (ACL 2024 Main Conference)☆146Updated 8 months ago
- [2025-TMLR] A Survey on the Honesty of Large Language Models☆58Updated 7 months ago
- The official repository of the Omni-MATH benchmark.☆85Updated 6 months ago
- ☆59Updated 10 months ago
- [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy☆63Updated 7 months ago
- Implementation for the paper "The Surprising Effectiveness of Negative Reinforcement in LLM Reasoning"☆74Updated this week
- ☆38Updated last month
- SimpleDeepSearcher: Deep Information Seeking via Web-Powered Reasoning Trajectory Synthesis☆81Updated last month
- ☆67Updated last year
- Repository for Label Words are Anchors: An Information Flow Perspective for Understanding In-Context Learning☆164Updated last year
- [NeurIPS 2024 Oral] Aligner: Efficient Alignment by Learning to Correct☆178Updated 5 months ago
- [ACL-25] We introduce ScaleQuest, a scalable, novel and cost-effective data synthesis method to unleash the reasoning capability of LLMs.☆63Updated 8 months ago
- A comprehensive collection of process reward models.☆95Updated 3 weeks ago
- Official code for paper "SPA-RL: Reinforcing LLM Agent via Stepwise Progress Attribution"☆36Updated last week
- A unified suite for generating elite reasoning problems and training high-performance LLMs, including pioneering attention-free architect…☆63Updated last month
- Reference implementation for Token-level Direct Preference Optimization(TDPO)☆141Updated 5 months ago
- This the implementation of LeCo☆31Updated 5 months ago
- [ACL 2024 (Oral)] A Prospector of Long-Dependency Data for Large Language Models☆56Updated 11 months ago
- ☆84Updated last year
- xVerify: Efficient Answer Verifier for Reasoning Model Evaluations☆119Updated 2 months ago
- [ACL2024] Planning, Creation, Usage: Benchmarking LLMs for Comprehensive Tool Utilization in Real-World Complex Scenarios☆57Updated last year