Synthetic data generation for evaluating LLM symbolic and logic reasoning
☆23Aug 13, 2026Updated 2 months ago
Alternatives and similar repositories for LLMSymbolicReasoningBench
Users that are interested in LLMSymbolicReasoningBench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Jun 5, 2024Updated 2 years ago
- ☆18Mar 5, 2017Updated 9 years ago
- ☆21Apr 21, 2026Updated 5 months ago
- Fully open reproduction of DeepSeek-R1☆11Mar 24, 2025Updated last year
- ACL24☆11Jun 7, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- [COLM 2025] Official code for "When To Solve, When To Verify: Compute-Optimal Problem Solving and Generative Verification for LLM Reasoni…☆15Oct 31, 2025Updated 11 months ago
- ☆11Aug 6, 2024Updated 2 years ago
- The daily arena where AI agents clash to rank tomorrow’s S&P 500 winners and losers. Their only judge is the future — the one truth that …☆16Sep 22, 2026Updated 3 weeks ago
- Implementation for the paper "Fictitious Synthetic Data Can Improve LLM Factuality via Prerequisite Learning"☆11Jan 10, 2025Updated last year
- ☆15Dec 5, 2019Updated 6 years ago
- ☆16Jul 23, 2024Updated 2 years ago
- https://interactivetraining.ai/☆20Jul 11, 2026Updated 3 months ago
- Code and data for Marked Personas (ACL 2023)☆30May 26, 2023Updated 3 years ago
- ☆10Nov 29, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification" (ACL 2026 Findi…☆20Apr 7, 2026Updated 6 months ago
- [ICML 2023] "Robust Weight Signatures: Gaining Robustness as Easy as Patching Weights?" by Ruisi Cai, Zhenyu Zhang, Zhangyang Wang☆16May 4, 2023Updated 3 years ago
- Manage memory for Claude Code☆17Apr 14, 2026Updated 6 months ago
- Collection of resources to learn about tech used in SOCR projects☆11Dec 27, 2016Updated 9 years ago
- Git for "Stepwise Self-Consistent Mathematical Reasoning with Large Language Models"☆12Nov 26, 2024Updated last year
- ☆17Jan 21, 2024Updated 2 years ago
- ☆26Dec 18, 2024Updated last year
- ☆33Jan 14, 2021Updated 5 years ago
- ☆29Nov 19, 2025Updated 10 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- [EMNLP 2024] Official implementation of "Hierarchical Deconstruction of LLM Reasoning: A Graph-Based Framework for Analyzing Knowledge Ut…☆23Dec 4, 2024Updated last year
- ☆23Aug 26, 2026Updated last month
- [TMLR 2026] "Thought-Retriever: Don’t Just Retrieve Raw Data, Retrieve Thoughts for Memory-Augmented Agentic Systems", Tao Feng, Pengrui …☆43Apr 18, 2026Updated 5 months ago
- Code for the ICLR'24 paper: MT-RANKER : Reference-free machine translation evaluation by inter-system ranking☆10Feb 29, 2024Updated 2 years ago
- Official code for paper "Reasoning Fails Where Step Flow Breaks" (ACL 2026)☆19Apr 19, 2026Updated 5 months ago
- "SALLM: Security Assessment of Generated Code" accepted at ASYDE workshop co-located with ASE'24.☆17Jul 21, 2026Updated 2 months ago
- ☆12Dec 14, 2022Updated 3 years ago
- 🔍 A statutory article retrieval dataset in French. (ACL 2022)☆42Sep 26, 2023Updated 3 years ago
- Official code and data repository of MathChat: MathChat: Benchmarking Mathematical Reasoning and Instruction Following in Multi-Turn Inte…☆22Jun 3, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- (ACL 2025 Main) Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification - Offici…☆21Dec 26, 2025Updated 9 months ago
- ☆34Sep 28, 2026Updated 2 weeks ago
- ☆23Sep 24, 2021Updated 5 years ago
- ☆19Dec 15, 2022Updated 3 years ago
- ☆13Oct 27, 2022Updated 3 years ago
- Python library for code analysis with CPG and Joern☆26Jun 23, 2023Updated 3 years ago
- Official repository of the paper InstructBrush: Learning Attention-based Instruction Optimization for Image Editing☆15Apr 14, 2024Updated 2 years ago