awesome-llm-reasoning-with-nesy
github.com/lamdasz-ml/awesome-llm-reasoning-with-nesy ↗✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models
305
GitHub Stars
240
Curated Resources
8
Categories
1 hour ago
Last Refreshed
📌 Awesome Tutorials & Workshops & Talks🔍 Survey📖 Basic Neuro-Symbolic Frameworks📖 Symbolic to LLM📖 LLM to Symbolic📖 LLM plus SymbolicMisc on Neuro-Symbolic Learning🛠️ Awesome Datasets & Benchmarks
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me llm formalize, symbolic augment resources from awesome-llm-reasoning-with-nesy"
Installation instructions →What's inside
📌 Awesome Tutorials & Workshops & Talks
📖 Symbolic to LLM
- Abstract Meaning Representation-Based Logic-Driven Data Augmentation for Logical ReasoningLLM Formalize, Symbolic Augment
ACL
- AlphaIntegrator: Transformer Action Search for Symbolic Integration ProofsLLM Formalize, Symbolic Augment
Arxiv
- AMR-DA: Data Augmentation by Abstract Meaning RepresentationLLM Formalize, Symbolic Augment
ACL
- A Symbolic Framework for Evaluating Mathematical Reasoning and Generalization with TransformersSymbolic Generation, LLM Imitation
NAACL
- Beyond A$^*$: Better Planning with Transformers via Search Dynamics BootstrappingSymbolic Generation, LLM Imitation
Arxiv
- Chain of Thought Imitation with Procedure CloningSymbolic Generation, LLM Imitation
NeurIPS
Misc on Neuro-Symbolic Learning
- Adaptable Logical Control for Large Language Models
NeurIPS
- Analysis for Abductive Learning and Neural-Symbolic Reasoning Shortcuts
ICML
- A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference
NeurIPS
- Bridging Neural and Symbolic Representations with Transitional Dictionary Learning
ICLR
- Convex and Bilevel Optimization for Neural-Symbolic Inference and Learning
ICML
- Large Language Models Are NeuroSymbolic Reasoners
AAAI
🔍 Survey
- Advancing Reasoning in Large Language Models: Promising Methods and ApproachesSurvey on LLM Reasoning
- A Review on Neuro-symbolic AI Improvements to Natural Language ProcessingSurvey on Neuro-Symbolic Learning
- A Survey of Mathematical Reasoning in the Era of Multi-Modal Large Language Model: Benchmark, Method & ChallengesSurvey on LLM Reasoning
- A Survey of Optimization-based Task and Motion Planning: From Classical To Learning ApproachesSurvey on LLM Planning
- A Survey on Deep Learning for Theorem ProvingSurvey on LLM Reasoning
- A Survey on Large Language Model based Autonomous AgentsSurvey on LLM Planning
📖 LLM to Symbolic
- A Framework for Neurosymbolic Robot Action Planning using Large Language ModelsSymbolic Solver Aided Methods
Frontiers in Neurorobotics
- AlphaMath Almost Zero: Process Supervision without ProcessSearch Augmented Methods
NeurIPS
- Alphazero-like Tree-Search can Guide Large Language Model Decoding and TrainingSearch Augmented Methods
Arxiv
- ART: Automatic Multi-Step Reasoning and Tool-use for Large Language ModelsTool-Aided Methods
Arxiv
- Autoformalization with Large Language ModelsSymbolic Solver Aided Methods
NeurIPS
- Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic ConsistencySymbolic Solver Aided Methods
NeurIPS
📖 LLM plus Symbolic
- \alpha ILP: thinking visual scenes as differentiable logic programsDifferential Symbolic Modules
Machine Learning
- Chain-of-Symbol Prompting Elicits Planning in Large Langauge ModelsSymbolic Formatted Reasoning
COLM
- CodeI/O: Condensing Reasoning Patterns via Code Input-Output PredictionSymbolic Formatted Reasoning
Arxiv
- CodePlan: Unlocking Reasoning Potential in Large Language Models by Scaling Code-form PlanningSymbolic Formatted Reasoning
ICLR
- CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic ExecutionSymbolic Feedback
ECAI
- Deductive Verification of Chain-of-Thought ReasoningSymbolic Formatted Reasoning
NeurIPS
🛠️ Awesome Datasets & Benchmarks
- Atari 100kGame AI Planning
- DS-1000Code Generation
- Geometry3KVisual Reasoning
- GSM8KMathematical Reasoning
- LogicGameLogical Reasoning
- Mini-BehaviorRobotic Planning
📖 Basic Neuro-Symbolic Frameworks
- Augmenting Neural Networks with First-order Logic
ACL
- Bridging Machine Learning and Logical Reasoning by Abductive Learning
NeurIPS
- Closed Loop Neural-Symbolic Learning via Integrating Neural Perception, Grammar Parsing, and Symbolic Reasoning
ICML
- DeepProbLog: Neural Probabilistic Logic Programming
NeurIPS
- DL2: Training and Querying Neural Networks with Logic
ICML
- Learning Explanatory Rules from Noisy Data
Journal of Artificial Intelligence Research
Showing a sample of 240 resources. View the full list on GitHub →