LAMDASZ-ML / Awesome-LLM-Reasoning-with-NeSyView external linksLinks
✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models
☆262Jun 19, 2025Updated 7 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:
- ☆18Jun 4, 2024Updated last year
- A minimal example of Abductive Learning☆18Dec 6, 2023Updated 2 years ago
- Code for I-RAVEN-X generation and experiments☆19Sep 18, 2025Updated 4 months ago
- ☆10Oct 28, 2024Updated last year
- LogiCity@NeurIPS'24, D&B track. A multi-agent inductive learning environment for "abstractions".☆27Jun 10, 2025Updated 8 months ago
- ☆18Feb 20, 2025Updated 11 months ago
- 面向新同学进组的学习指南☆123Updated this week
- ☆22Feb 29, 2024Updated last year
- A Concept-Centric Framework for Intelligent Agents☆22Oct 1, 2025Updated 4 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
- [ICML 2024] Unveiling and Harnessing Hidden Attention Sinks: Enhancing Large Language Models without Training through Attention Calibrati…☆46Jun 30, 2024Updated last year
- ☆13Dec 31, 2023Updated 2 years ago
- ☆52Feb 12, 2025Updated last year
- A high-efficiency hybrid solving CEC algorithm☆14May 25, 2023Updated 2 years ago
- Spatio-Temporal Saliency Networks for Dynamic Saliency Prediction☆13Jan 21, 2018Updated 8 years ago
- Code for ProTrix: Building Models for Planning and Reasoning over Tables with Sentence Context☆18Nov 15, 2024Updated last year
- This repo lists some researches and applications in PU learning.☆12Mar 12, 2020Updated 5 years 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 10 months ago
- Survey on Robust Weakly Supervised Learning☆13Dec 23, 2021Updated 4 years ago
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.☆17Aug 13, 2022Updated 3 years ago
- The official GitHub page for the survey paper "A Survey on LLM Symbolic Reasoning". And this paper is under review.☆23Jan 22, 2026Updated 3 weeks 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
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)☆27Jun 23, 2025Updated 7 months ago
- The official implementation of the DAC 2024 paper GQA-LUT☆20Dec 20, 2024Updated last year
- NeuSyRE: A Neuro-Symbolic Visual Understanding and Reasoning Framework based on Scene Graph Enrichment☆22Mar 10, 2024Updated last year
- Code for the EMNLP24 paper "A simple and effective L2 norm based method for KV Cache compression."☆18Dec 13, 2024Updated last year
- An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a un…☆84Jun 19, 2025Updated 7 months ago
- Neural Logic Inductive Learning☆44Aug 6, 2022Updated 3 years ago
- Framework and Language for Neurosymbolic Programming.☆448May 1, 2025Updated 9 months ago
- ☆23Oct 11, 2024Updated last year
- new optimizer☆20Aug 4, 2024Updated last year
- Data and Code for EMNLP 2023 paper "QTSumm: Query-Focused Summarization over Tabular Data"☆22Mar 29, 2024Updated last year
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆326Updated this week
- ☆27Dec 29, 2023Updated 2 years ago
- Neuro-Symbolic AI with Pythonic AI Language 🌱🐋🌍☆724Nov 24, 2025Updated 2 months ago
- [EMNLP-2025 Oral] ZoomEye: Enhancing Multimodal LLMs with Human-Like Zooming Capabilities through Tree-Based Image Exploration☆76Nov 20, 2025Updated 2 months ago
- Official Pytorch implementations for "Embedding-Free Transformer with Inference Spatial Reduction for Efficient Semantic Segmentation"(EC…☆33Mar 15, 2025Updated 11 months ago
- Latest Advances on Long Chain-of-Thought Reasoning☆609Jul 18, 2025Updated 6 months ago