✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models
☆281Jun 19, 2025Updated 9 months ago
Alternatives and similar repositories for Awesome-LLM-Reasoning-with-NeSy
Users that are interested in Awesome-LLM-Reasoning-with-NeSy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ChinaTravel: A Real-World Benchmark for Language Agents in Chinese Travel Planning☆94Feb 13, 2026Updated last month
- A minimal example of Abductive Learning☆19Dec 6, 2023Updated 2 years ago
- LogiCity@NeurIPS'24, D&B track. A multi-agent inductive learning environment for "abstractions".☆27Jun 10, 2025Updated 9 months ago
- ☆10Oct 28, 2024Updated last year
- ☆14Jul 15, 2025Updated 8 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A Concept-Centric Framework for Intelligent Agents☆22Oct 1, 2025Updated 5 months ago
- ☆52Feb 12, 2025Updated last year
- A high-efficiency hybrid solving CEC algorithm☆14May 25, 2023Updated 2 years ago
- Survey on LLM Inference via Search (TMLR 2025)☆14May 6, 2025Updated 10 months ago
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)☆28Jun 23, 2025Updated 9 months ago
- ☆22Feb 29, 2024Updated 2 years ago
- An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a un…☆88Mar 18, 2026Updated last week
- A pipeline for the automatic construction of geometry problems along with step-by-step solutions.☆17Aug 27, 2025Updated 7 months ago
- Codes and Data for ACL 2024 Paper "Faithful Logical Reasoning via Symbolic Chain-of-Thought".☆202Jan 29, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆28Feb 10, 2025Updated last year
- [ICML 2025] Reward-guided Speculative Decoding (RSD) for efficiency and effectiveness.☆56May 2, 2025Updated 10 months ago
- [ICCV 2023] Black Box Few-Shot Adaptation for Vision-Language models☆27May 14, 2024Updated last year
- [ICML 2024] Unveiling and Harnessing Hidden Attention Sinks: Enhancing Large Language Models without Training through Attention Calibrati…☆45Jun 30, 2024Updated last year
- [ICML 2025] Satori: Reinforcement Learning with Chain-of-Action-Thought Enhances LLM Reasoning via Autoregressive Search☆109Jun 3, 2025Updated 9 months ago
- Logic Reinforcement Learning☆21Oct 20, 2025Updated 5 months ago
- Math-VR Benchmark & CodePlot-CoT: Mathematical Visual Reasoning by Thinking with Code-Driven Images☆56Nov 4, 2025Updated 4 months ago
- A framework for building hardware verification platform using software method☆34Dec 24, 2025Updated 3 months ago
- [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution☆26Feb 10, 2025Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- LLM Evaluation Benchmark on Hardware Formal Verification☆41Apr 3, 2025Updated 11 months ago
- DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning☆24Apr 17, 2021Updated 4 years ago
- OmniGAIA: Towards Native Omni-Modal AI Agents☆85Mar 16, 2026Updated 2 weeks ago
- Latest Advances on Long Chain-of-Thought Reasoning☆620Jul 18, 2025Updated 8 months ago
- [ICLR 2025] This is the official implementation for the paper: "Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluat…☆44Jun 11, 2025Updated 9 months ago
- [ICML2025] Test-Time Learning for Large Language Models☆49Jan 31, 2026Updated last month
- PWM: Policy Learning with Large World Models☆65Aug 4, 2025Updated 7 months ago
- The code repository for "OmniEvalKit: A Modular, Lightweight Toolbox for Evaluating Large Language Model and its Omni-Extensions"☆13Feb 21, 2025Updated last year
- ☆48Apr 25, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆20Apr 3, 2023Updated 2 years ago
- ☆46Mar 27, 2023Updated 3 years ago
- ☆12Aug 26, 2022Updated 3 years ago
- ☆14Jul 23, 2023Updated 2 years ago
- Code for ProTrix: Building Models for Planning and Reasoning over Tables with Sentence Context☆17Nov 15, 2024Updated last year
- ☆14Jan 3, 2025Updated last year
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated last year