✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models
☆294Jun 19, 2025Updated 11 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:
- ☆17Jun 4, 2024Updated last year
- ☆18Feb 20, 2025Updated last year
- Neuro-Symbolic Hierarchical Rule Induction☆14Dec 31, 2022Updated 3 years ago
- LogiCity@NeurIPS'24, D&B track. A multi-agent inductive learning environment for "abstractions".☆27Jun 10, 2025Updated 11 months ago
- Code for I-RAVEN-X generation and experiments☆24Sep 18, 2025Updated 8 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Survey on Robust Weakly Supervised Learning☆13Dec 23, 2021Updated 4 years ago
- ☆10Oct 28, 2024Updated last year
- ☆14Jul 15, 2025Updated 10 months ago
- A Concept-Centric Framework for Intelligent Agents☆26Oct 1, 2025Updated 7 months ago
- ☆52Feb 12, 2025Updated last year
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆14Sep 26, 2019Updated 6 years ago
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.☆17Aug 13, 2022Updated 3 years ago
- Survey on LLM Inference via Search (TMLR 2025)☆14May 6, 2025Updated last year
- Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network.☆15Sep 23, 2025Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- This repo lists some researches and applications in PU learning.☆12Mar 12, 2020Updated 6 years ago
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)☆29Jun 23, 2025Updated 11 months ago
- ☆22Feb 29, 2024Updated 2 years ago
- Repository for GeoUni, A Unified Model for Generating Geometry Diagrams, Problems and Problem Solutions.☆23Jun 12, 2025Updated 11 months ago
- A pipeline for the automatic construction of geometry problems along with step-by-step solutions.☆17Aug 27, 2025Updated 8 months ago
- ☆26Feb 2, 2023Updated 3 years ago
- Codes and Data for ACL 2024 Paper "Faithful Logical Reasoning via Symbolic Chain-of-Thought".☆206Jan 29, 2026Updated 3 months ago
- [ICML 2025] Reward-guided Speculative Decoding (RSD) for efficiency and effectiveness.☆56May 2, 2025Updated last year
- 30 Semi-Supervised Learning Algorithms☆210Mar 1, 2026Updated 2 months ago
- 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.
- ☆14Jul 24, 2024Updated last year
- Dataset and Baselines for "You are here! Finding position and orientation on a 2D map from a single image: The Flatlandia localization pr…☆11Sep 15, 2023Updated 2 years ago
- ☆13Dec 31, 2023Updated 2 years ago
- A framework for building hardware verification platform using software method☆36Apr 19, 2026Updated last month
- LLM Evaluation Benchmark on Hardware Formal Verification☆43Apr 3, 2025Updated last year
- Evaluate state-of-the-art sparse embedding models on the LIMIT dataset (`limit-small` and `limit`) from google's paper `On the Theoretica…☆16Sep 4, 2025Updated 8 months ago
- DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning☆24Apr 17, 2021Updated 5 years ago
- Logic Reinforcement Learning☆21Oct 20, 2025Updated 7 months ago
- [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution☆28Feb 10, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Math-VR Benchmark & CodePlot-CoT: Mathematical Visual Reasoning by Thinking with Code-Driven Images☆61Nov 4, 2025Updated 6 months ago
- Latest Advances on Long Chain-of-Thought Reasoning☆634Jul 18, 2025Updated 10 months ago
- Self Supervised Learning for Time Series Using Similarity Distillation☆12Jun 29, 2022Updated 3 years ago
- Neural Logic Inductive Learning☆44Aug 6, 2022Updated 3 years ago
- ☆49Apr 25, 2024Updated 2 years ago
- Your hub for neuro-symbolic AI: Explore links, papers, and articles with a focus on AI cognition. Contribute and stay updated.☆35Aug 27, 2024Updated last year
- ☆20Apr 3, 2023Updated 3 years ago