✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models
☆270Jun 19, 2025Updated 8 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
Sorting:
- ChinaTravel: A Real-World Benchmark for Language Agents in Chinese Travel Planning☆90Feb 13, 2026Updated 3 weeks ago
- A minimal example of Abductive Learning☆18Dec 6, 2023Updated 2 years ago
- ☆10Oct 28, 2024Updated last year
- Code for I-RAVEN-X generation and experiments☆21Sep 18, 2025Updated 5 months ago
- ☆18Feb 20, 2025Updated last year
- Neuro-Symbolic Hierarchical Rule Induction☆14Dec 31, 2022Updated 3 years ago
- A Concept-Centric Framework for Intelligent Agents☆22Oct 1, 2025Updated 5 months ago
- Official Repository for paper "Ontology-Free General-Domain Knowledge Graph-to-Text Generation Dataset Synthesis using Large Language Mod…☆14Nov 25, 2024Updated last year
- ☆13Jul 15, 2025Updated 7 months ago
- ☆13Dec 31, 2023Updated 2 years ago
- A pipeline for the automatic construction of geometry problems along with step-by-step solutions.☆17Aug 27, 2025Updated 6 months ago
- A high-efficiency hybrid solving CEC algorithm☆14May 25, 2023Updated 2 years ago
- ☆52Feb 12, 2025Updated last year
- Code for ProTrix: Building Models for Planning and Reasoning over Tables with Sentence Context☆18Nov 15, 2024Updated last year
- Survey on LLM Inference via Search (TMLR 2025)☆14May 6, 2025Updated 10 months ago
- Code for paper "ProgGen: Generating Named Entity Recognition Datasets Step-by-step with Self-Reflexive Large Language Models"☆17Mar 29, 2024Updated last year
- ☆15Apr 2, 2025Updated 11 months ago
- Math-VR Benchmark & CodePlot-CoT: Mathematical Visual Reasoning by Thinking with Code-Driven Images☆53Nov 4, 2025Updated 4 months ago
- The official GitHub page for the survey paper "A Survey on LLM Symbolic Reasoning". And this paper is under review.☆23Feb 15, 2026Updated 3 weeks ago
- Repository for GeoUni, A Unified Model for Generating Geometry Diagrams, Problems and Problem Solutions.☆20Jun 12, 2025Updated 8 months ago
- Implementation of the BitLinear layer from: The Era of 1-bit LLMs: All Large Language Models are in 1.58 Bits☆13Sep 11, 2024Updated last year
- Codes and Data for ACL 2024 Paper "Faithful Logical Reasoning via Symbolic Chain-of-Thought".☆201Jan 29, 2026Updated last month
- Logic Reinforcement Learning☆21Oct 20, 2025Updated 4 months ago
- The official implementation of the DAC 2024 paper GQA-LUT☆20Dec 20, 2024Updated last year
- ☆20Apr 3, 2023Updated 2 years ago
- Code for the EMNLP24 paper "A simple and effective L2 norm based method for KV Cache compression."☆18Dec 13, 2024Updated last year
- Neural Logic Inductive Learning☆44Aug 6, 2022Updated 3 years ago
- ☆23Oct 11, 2024Updated last year
- Your hub for neuro-symbolic AI: Explore links, papers, and articles with a focus on AI cognition. Contribute and stay updated.☆30Aug 27, 2024Updated last year
- Framework and Language for Neurosymbolic Programming.☆455May 1, 2025Updated 10 months ago
- ☆48Apr 25, 2024Updated last year
- Data and Code for EMNLP 2023 paper "QTSumm: Query-Focused Summarization over Tabular Data"☆22Mar 29, 2024Updated last year
- Superconductors material dataset☆26Dec 5, 2023Updated 2 years ago
- Adjust Decision Boundary for Class Imbalanced Learning☆19May 19, 2020Updated 5 years ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆331Feb 22, 2026Updated 2 weeks ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆56Sep 17, 2025Updated 5 months ago
- [NeurIPS 2025] BOOM, A Planning-driven Model-Based RL algorithm☆58Feb 4, 2026Updated last month
- [CoLM 24] Official Repository of MambaByte: Token-free Selective State Space Model☆24Oct 12, 2024Updated last year
- [ICML 2025] Satori: Reinforcement Learning with Chain-of-Action-Thought Enhances LLM Reasoning via Autoregressive Search☆108Jun 3, 2025Updated 9 months ago