symbolic-reasoning 开源项目推荐（74 个）

zjunlp /Prompt4ReasoningPapers

[ACL 2023] Reasoning with Language Model Prompting: A Survey

scallop-lang /scallop

Framework and Language for Neurosymbolic Programming.

1105216375-alt /resimind

Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.

gongzisahan /sizhu-programming

一本人生编程的教科书——当老天是 Python 程序员

fblgit /tree-of-knowledge

ToK aka Tree of Knowledge for Large Language Models LLM. It's a novel dataset that inspires knowledge symbolic correlation in simple input and output prompts

mukhal /GRACE

[EMNLP '23] Discriminator-Guided Chain-of-Thought Reasoning

bys0318 /QTO

[ICML 2023] Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimization

mbzuai-nlp /finchain

A symbolic benchmark for verifiable chain-of-thought financial reasoning. Includes executable templates, 58 topics across 12 domains, and ChainEval metrics.

atfortes /LLMSymbolicReasoningBench

Synthetic data generation for evaluating LLM symbolic and logic reasoning

arcadio /data-logic

Expert system with deductive querying and verification of constraints expressed in natural language

vaelii /vaelii

a contextualized first-order logic knowledge base with a justified-inference reasoning engine

LinaNoor-AGI /noor-research

Noor Research Collective - Main Project Metapage

tukcps /Multiplatform-AADD

AADD library - A Kotlin Multiplatform library for semi-symbolic execution and reachability analysis.

khang3004 /NeuralSymbolic_OmniIPS_Knowledge_Representation_Playground

Production-ready Neuro-Symbolic AI & GraphRAG-powered Multi-domain Expert System. Hybrid forward/backward chaining inference engine over Neo4j Knowledge Graph + Qdrant Vector DB, operating across Chemistry, Plane Geometry, and Algebra domains via FastAPI & Streamlit.

neuro-symbolic-ai /explanation_based_ethical_reasoning

Code and data for Paper "Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement"

sciknoworg /awesome-neurosymbolic-ai

🧠🕸️ A curated awesome list of benchmarks, datasets, tasks, and evaluation resources for neuro-symbolic AI and multi-modal reasoning.

mahadi-nahid /NormTab

[EMNLP 2024] NormTab: Improving Symbolic Reasoning in LLMs Through Tabular Data Normalization

sapuyou45-bit /oraclebone

The bone cracks. The model reads. Audited divination for AI agents — tarot, I Ching, Xiao Liu Ren, Bazi. MCP server + CLI + agent skills.

ThaiMinhLam /SymbolicResoning

Participating in Explainable AI for Educational Question-Answering with Symbolic Reasoning

BillyYang-creator /arc-prize-2024

ARC Prize 2024 Silver Medal Solution – Rule-based DSL symbolic reasoning system implemented in C++ for abstract grid transformation and search.