"first-order-logic" Awesome Lists
Awesome-LLM-Reasoning-with-NeSy
✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models
artificial-intelligence awesome deepseek-r1 embodied-ai first-order-logic gpt-4o knowledge-graph large-language-models llm-agent logic-programming
74 stars
4 forks
232 projects
Last updated: 01 May 2025