✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models
☆283Jun 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:
- A minimal example of Abductive Learning☆19Dec 6, 2023Updated 2 years ago
- ☆18Feb 20, 2025Updated last year
- LogiCity@NeurIPS'24, D&B track. A multi-agent inductive learning environment for "abstractions".☆27Jun 10, 2025Updated 10 months ago
- Code for I-RAVEN-X generation and experiments☆23Sep 18, 2025Updated 6 months ago
- Survey on Robust Weakly Supervised Learning☆13Dec 23, 2021Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆10Oct 28, 2024Updated last year
- ☆14Jul 15, 2025Updated 8 months ago
- A Concept-Centric Framework for Intelligent Agents☆23Oct 1, 2025Updated 6 months ago
- ☆54Feb 12, 2025Updated last year
- A high-efficiency hybrid solving CEC algorithm☆14May 25, 2023Updated 2 years ago
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.☆17Aug 13, 2022Updated 3 years ago
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)☆28Jun 23, 2025Updated 9 months ago
- ☆12Mar 17, 2026Updated 3 weeks ago
- ☆22Feb 29, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Repository for GeoUni, A Unified Model for Generating Geometry Diagrams, Problems and Problem Solutions.☆21Jun 12, 2025Updated 10 months ago
- 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".☆203Jan 29, 2026Updated 2 months ago
- [ICML 2025] Reward-guided Speculative Decoding (RSD) for efficiency and effectiveness.☆56May 2, 2025Updated 11 months ago
- ☆52Mar 9, 2026Updated last month
- ☆14Jul 24, 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☆110Jun 3, 2025Updated 10 months ago
- Math-VR Benchmark & CodePlot-CoT: Mathematical Visual Reasoning by Thinking with Code-Driven Images☆56Nov 4, 2025Updated 5 months ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- The official GitHub page for the survey paper "A Survey on LLM Symbolic Reasoning". And this paper is under review.☆30Mar 23, 2026Updated 3 weeks ago
- LLM Evaluation Benchmark on Hardware Formal Verification☆41Apr 3, 2025Updated last year
- OmniGAIA: Towards Native Omni-Modal AI Agents☆89Apr 2, 2026Updated last week
- Latest Advances on Long Chain-of-Thought Reasoning☆625Jul 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 10 months ago
- PWM: Policy Learning with Large World Models☆65Aug 4, 2025Updated 8 months ago
- Neural Logic Inductive Learning☆44Aug 6, 2022Updated 3 years ago
- Your hub for neuro-symbolic AI: Explore links, papers, and articles with a focus on AI cognition. Contribute and stay updated.☆32Aug 27, 2024Updated last year
- Recent Advances on MLLM's Reasoning Ability☆26Apr 11, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆20Apr 3, 2023Updated 3 years ago
- ☆46Mar 27, 2023Updated 3 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆313Aug 9, 2024Updated last year
- ☆11Jul 26, 2023Updated 2 years ago
- ☆12Aug 26, 2022Updated 3 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated last year
- A pytorch model profiler with information about macs, energy and e.t.c☆17Feb 24, 2024Updated 2 years ago