Top AI Repos — open-source AI, indexed and scored
Top AI Repos tracks AI repositories on GitHub and answers two different questions about each one: is it moving right now, and would you bet a product on it.
Top AI Repos tracks AI repositories on GitHub and answers two different questions about each one: is it moving right now, and would you bet a product on it.
✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models
| Date | Stars |
|---|---|
| 2026-07-31 | 323 |
| 2026-08-04 | 323 |
| 2026-08-06 | 323 |
Today
— stars today
This week
— stars this week
This month
— stars this month
Momentum
0.0
growth rate 0.00%/day
<a name="readme-top"></a>
<p align="center">
<img src="images/nesy.png" width="80%" style="align:center;"/>
</p>
<h1 align="center"> Towards Improving Reasoning & Planning Capabilities of LLMs with Neuro-Symbolic Learning </h1>
<p align="center">
✨✨<b> Curated collection of papers and resources on latest advances on improving reasoning and planning abilities of LLM/MLLMs with neuro-symbolic learning</b>
</p>
<details open>
<summary>🗂️ <font size="4"><b>Table of Contents</b></font></summary>
<ol>
<li><a href="#-awesome-tutorials--workshops--talks">Awesome Tutorials & Workshops & Talks</a></li>
<li><a href="#-awesome-survey--books">Awesome Survey</a></li>
<li><a href="#-basic-neuro-symbolic-frameworks"> Basic Neuro-Symbolic Frameworks</a></li>
<li><a href="#-symbolic-to-llm">Symbolic to LLM</a></li>
<ul>
<li><a href="#symbolic-generation-llm-imitation">Symbolic Generation, LLM Imitation</a></li>
<li><a href="#llm-formalize-symbolic-augment">LLM Formalize, Symbolic Augment</a></li>
</ul>
<li><a href="#-llm-to-symbolic">LLM to Symbolic</a></li>
<ul>
<li><a href="#symbolic-solver-aided-methods">Symbolic Solver Aided Methods</a></li>
<li><a href="#program-aided-methods">Program Aided Methods</a></li>
<li><a href="#tool-aided-methods">Tool Aided Methods</a></li>
<li><a href="#search-augmented-methods">Search Augmented Methods</a></li>
</ul>
<li><a href="#-llm-plus-symbolic">LLM plus Symbolic</a></li>
<ul>
<li><a href="#symbolic-formatted-reasoning">Symbolic Formatted Reasoning</a></li>
<li><a href="#differential-symbolic-module">Differential Symbolic Module</a></li>
<li><a href="#symbolic-feedback">Symbolic Feedback</a></li>
</ul>
<li><a href="#awesome-datasets--benchmarks">Awesome Datasets & Benchmarks</a></li>
</ol>
</details>
## 📌 Awesome Tutorials & Workshops & Talks
- [Neuro-Symbolic Visual Reasoning and Program Synthesis](http://nscv.csail.mit.edu/) Tutorials in CVPR 2020
- [Neuro-Symbolic Methods for Language and Vision](https://sites.google.com/allenai.org/nsmlv-tutorial-aaai-22) Tutorials in AAAI 2022
- [AAAI 2022 Tutorial on AI Planning: Theory and Practice](https://aiplanning-tutorial.github.io/) Tutorials in AAAI 2022
- [Advances in Neuro Symbolic Reasoning and Learning](https://neurosymbolic.asu.edu/2023-aaai-tutorial-advances-in-neuro-symbolic-reasoning/) Tutorials in AAAI 2023
- [Neuro-Symbolic Approaches: Large Language Models + Tool Use](https://wenting-zhao.github.io/complex-reasoning-tutorial/slides/6.pdf) Tutorials in ACL 2023
- [Neuro-Symbolic Generative Models](https://nesygems.github.io/) Workshop in ICLR 2023
- [Neuro-Symbolic Learning and Reasoning in the Era of Large Language Models](https://nuclear-workshop.github.io/aaai2024/) Workshop in AAAI 2024
- [Neuro-Symbolic Concepts for Robotic Manipulation](https://jiayuanm.com/data/2023-07-09-rss-neuro-symbolic-concepts.pdf) Talk given by Jiayuan Mao [[Video]](https://www.youtube.com/watch?v=S8KsCtbJqz0)
- [Building General-Purpose Robots with Compositional Action Abstractions](https://jiayuanm.com/data/2024-04-19-brown-compositional-action-abstractions.pdf) Talk given by Jiayuan Mao
- [Summer School on Neurosymbolic Programming](https://www.neurosymbolic.org/index.html)
- [MIT 6.S191: Neuro-Symbolic AI](http://introtodeeplearning.com/2020/slides/6S191_MIT_DeepLearning_L7.pdf) Talk given by David Cox [[Video]](https://www.youtube.com/watch?v=4PuuziOgSU4)
- [NeuroSymbolic Programming](https://www.cs.utexas.edu/~swarat/pubs/PGL-049-Plain.pdf) [[Slides]](https://nips.cc/media/neurips-2022/Slides/55804.pdf)
- [LLM Reasoning: Key Ideas and Limitations](https://llmagents-learning.org/slides/llm-reasoning.pdf) Talk give by Denny Zhou
- [Inference-Time Techniques for LLM Reasoning](https://rdi.berkeley.edu/adv-llm-agents/slides/inference_time_techniques_lecture_sp25.pdf) Talk given by Xinyun Chen
- [Neurosymbolic Reasoning for Large Language Models](https://web.cs.ucla.edu/~guyvdb/slides/NesySchool24.pdfExcerpt of 52,426 characters
Read on GitHubWould you bet a product on this? Bounded 0–100 and slow moving.
matched fp:efdfe1af5be19afe, topic:awesome, topic:papers
matched fp:efdfe1af5be19afe, topic:large-language-models
matched fp:efdfe1af5be19afe, topic:reinforcement-learning
matched fp:efdfe1af5be19afe, topic:llm-agent