We'll Fix it in Post: Improving Text-to-Video Generation with Neuro-Symbolic Feedback
The University of Texas at Austin(德克萨斯大学奥斯汀分校)
本文提出NeuS-E框架,通过神经符号反馈提升文本到视频生成的语义和时间一致性,实验显示其在多种提示下提升了40%的对齐度。
2026-04-03 cs.AI cs.CV
Single Domain Generalization in Diabetic Retinopathy: A Neuro-Symbolic Learning Approach
Impact Lab, Arizona State University(Impact实验室,亚利桑那州立大学)
针对医学影像单域泛化难题,提出融合视觉Transformer与专家符号推理的KG-DG框架,通过临床特征融合与域嵌入KL散度最小化实现跨域泛化,在四个DR数据集上准确率显著提升,验证了神经-符号集成的有效性。
2025-09-03 cs.AI cs.CV
Conceptual Views of Neural Networks: A Framework for Neuro-Symbolic Analysis
本文提出概念视角框架,用于解释神经网络,通过实验展示其在模型比较和规则学习中的有效性。
2026-03-15 cs.AI cs.CV cs.LG
Learning Symbolic Constraint Representations from Examples: A Neuro-Symbolic Approach
Simula Research Laboratory(西穆拉研究实验室);Microsoft(微软);LISN, CNRS, Paris-Saclay University(法国国家科学研究中心巴黎-萨克雷大学LISN实验室)
本文提出一种神经符号框架,利用神经Oracle Transformer模拟用户响应并与FastCA引擎交互,从示例中自动学习约束网络,减少人工参与,实现数据驱动模式识别与符号推理的有效结合。
2026-09-14 cs.AI
BiNSGPS: Geometry Problem Solving via Bidirectional Neuro-Symbolic Interaction
MAIS, Institute of Automation of Chinese Academy of Sciences(自动化研究所);School of Artificial Intelligence, University of Chinese Academy of Sciences(中国科学院大学人工智能学院)
提出BiNSGPS框架,通过多模态大语言模型顾问与符号求解器之间的双向神经符号交互,动态纠正不一致的形式表示或提出辅助假设,以解决几何问题中的早期错误和符号冲突。
2026-06-03 cs.AI
Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning
University of Toronto(多伦多大学);Vector Institute(矢量研究所);University of Edinburgh(爱丁堡大学);Samsung AI Center(三星人工智能中心)
本综述首次按架构将神经符号AI技术划分为框架族,关联优势与架构,说明黑盒式符号方法增强神经网络的方式,助力研究者定位相关框架。
2024-10-29 cs.AI
Neuro-Symbolic Scene Graph Conditioning for Synthetic Image Dataset Generation
Politecnico di Milano(米兰理工大学)
针对合成数据训练模型性能不足的问题,提出用神经符号场景图条件生成方法提升合成图像数据质量,用于数据集增强可显著提升场景图生成模型的召回率指标,为缓解数据稀缺提供新路径。
2025-03-21 cs.AI cs.CV cs.LG
Taxonomic Networks: A Representation for Neuro-Symbolic Pairing
School of Interactive Computing(交互计算学院);Georgia Institute of Technology(佐治亚理工学院);College of Computing and Informatics(计算与信息学院);Drexel University(德雷塞尔大学)
本文提出神经符号对概念及分类网络表示,构建并评估了可互换的神经与符号方法,为未来整合神经与符号计算的系统奠定基础。
2025-05-30 cs.AI
Neuro-Symbolic Geometric Abstraction (NeuSOGA): From Observations to Symbolic Mathematical Representations
University of Hull(赫尔大学);Xiamen University(厦门大学);Chinese Academy of Sciences(中国科学院)
本文提出NeuSOGA框架,结合多种技术将观测转化为符号数学表示,在多类数据集上验证其能保留几何拓扑结构,为观测到符号提供可解释路径。
2026-09-03 cs.AI cs.CV cs.GR
Neuro-Symbolic Artificial Intelligence: Current Trends
Kansas State University(堪萨斯州立大学)
神经符号人工智能--符号方法与基于人工神经网络的方法的结合--有着悠久的历史。在这篇文章中,我们提供了一个结构化的概述目前的趋势,通过分类最近的出版物从关键会议。这篇文章的目的是作为一个方便的起点,研究一般性的主题。
2021-05-14 cs.AI cs.LG
A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence
University of Maryland, Baltimore County(马里兰大学巴尔的摩县分校);Embry-Riddle Aeronautical University(安柏瑞德航空大学);University of Colorado, Boulder(科罗拉多大学博尔德分校)
本综述探讨了神经符号AI如何利用符号AI简化次符号AI的测试评估(T&E)与验证确认(V&V)过程,分析了两种分类法及相关算法,评估了现有T&E和V&V方法的适用性,指出符号AI在验证次符号模型预测方面潜力巨大,是安全可信AI的重要研究方向。
2024-01-10 cs.AI
Zero-shot Sequential Neuro-symbolic Reasoning for Automatically Generating Architecture Schematic Designs
University of Washington(华盛顿大学);WinnDevelopment(温恩开发公司)
本研究提出一种基于GPT-4的零样本序列神经-符号推理方法,结合生成式AI与数学规划求解器,模拟传统设计流程自动生成建筑方案设计,无需额外训练,经真实建筑对比验证有效,有望变革建筑方案设计领域。
2024-01-25 cs.AI cs.CV cs.GR
Neuro-symbolic Commonsense Social Reasoning
University College London(伦敦大学学院)
社会规范是所有人类社会互动的基础,但对它们进行形式化和推理仍然是人工智能系统的主要挑战。我们提出了一个新颖的系统,用于从社会化学101数据集中获取自然语言中的社会经验规则(ROT),并将其转换为一阶逻辑,其中使用神经符号定理证明器执行推理。我们通过几个步骤来实现这一点。首先,ROTs被转换成抽象意义表示(AMR),这是一个图形表示的概念在一个句子中,并对齐AMR与RoberTa嵌入。然后,我们通过一种新的算法生成AMR的替代简化版本,重新组合和合并嵌入,以增加对不同文本措辞和不正确AMR解析的鲁棒性。AMR然后被转换成一阶逻辑,并查询与神经符号定理证明。本文的目标是开发和评估一种神经符号方法,该方法以逻辑形式对社会情境进行显式推理。
2023-03-14 cs.AI
LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning
University of Pisa(比萨大学);University of Modena and Reggio Emilia(摩德纳和雷焦艾米利亚大学);KU Leuven(鲁汶大学);University of Florence(佛罗伦萨大学);University of Siena(锡耶纳大学)
本文提出 LTLZinc 基准框架,基于 LTL 与 MiniZinc 约束及图像数据集生成时间推理和持续学习任务,实验表明现有方法仍存在明显局限。
2025-07-23 cs.AI
Image Manipulation via Multi-Hop Instructions -- A New Dataset and Weakly-Supervised Neuro-Symbolic Approach
Indian Institute of Technology Delhi(印度理工学院德里分校);IBM Research AI(IBM研究院人工智能实验室)
本文提出名为NeuroSIM的弱监督神经符号系统,通过将多跳自然语言指令解析为基于DSL的符号程序,在多物体场景中执行复杂推理以实现图像操作,并构建了新数据集,实验证明其性能优于使用监督数据的SOTA基线。
2023-10-24 cs.AI cs.CL cs.CV
A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge
University of Pisa(比萨大学);University of Modena and Reggio Emilia(摩德纳和雷吉奥艾米利亚大学);University of Florence(佛罗伦萨大学);University of Siena(锡耶纳大学)
本文提出一种结合关系与时间知识的神经符号序列分类框架,针对不同时间步需使用不同知识且含时间关系的知识驱动序列分类问题,通过新基准对比神经符号与纯神经架构,揭示了现有神经符号方法的不足。
2025-05-08 cs.AI
Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsal
University of Trento(特伦托大学);University of Pisa(比萨大学);University of Modena and Reggio Emilia(摩德纳-雷焦艾米利亚大学)
针对神经符号持续学习中现有方法易灾难性遗忘、易出现推理捷径的问题,提出概念级持续学习策略COOL,在三个新基准上实现了其他策略无法达到的持续高性能。
2023-12-19 cs.AI cs.LG
Neuro-Symbolic Decoding of Neural Activity
Columbia University(哥伦比亚大学);Stanford University(斯坦福大学)
NEURONA通过结合符号推理与fMRI基础,提升神经活动解码的准确性和泛化能力。
2026-02-22 cs.AI cs.LG q-bio.NC
An Empirical Evaluation of Neural and Neuro-symbolic Approaches to Real-time Multimodal Complex Event Detection
the University of California, Los Angeles(加利福尼亚大学洛杉矶分校)
本文实证比较端到端神经、两阶段概念神经与符号有限状态机神经符号架构在多模态复杂事件检测中的表现,证明神经符号方法在时间推理上显著更优。
2024-03-03 cs.AI
pix2rule: End-to-end Neuro-symbolic Rule Learning
Imperial College London, United Kingdom(伦敦帝国理工学院)
人类有能力将低级视觉输入与高级符号推理无缝结合起来,通常以识别对象,学习它们之间的关系和应用规则的形式。神经符号系统的目标是为视觉处理和抽象推理分别带来一个统一的方法,以连接主义和逻辑为基础的原则。本文提出了一种完整的神经符号方法,用于将图像处理为对象,以端到端的方式学习关系和逻辑规则。主要贡献是深度学习架构中的可区分层,可以通过修剪和阈值化来提取符号关系和规则。我们评估我们的模型使用两个数据集:子图同构任务的符号规则学习和图像分类域的复合关系的学习对象,关系和规则。我们证明了我们的模型超越了最先进的符号学习器,并且优于深度关系神经网络架构。
2022-02-28 cs.AI cs.LG
Neuro-Symbolic AI for Military Applications
Howard University(霍华德大学);College of Engineering and Architecture(工程与建筑学院);DoD Center of Excellence in Artificial Intelligence and Machine Learning(美国国防部人工智能与机器学习卓越中心);U.S. Army Research Laboratory(美国陆军研究实验室)
本文全面探讨了Neuro-Symbolic AI在军事领域的应用潜力,分析了其结合神经网络与符号推理在改善决策、情报分析及强化自主系统方面的优势,并讨论了相关的伦理、战略和技术考量。
2024-08-24 cs.AI
Towards Efficient Neuro-Symbolic AI: From Workload Characterization to Hardware Architecture
Georgia Institute of Technology(佐治亚理工学院);University of California, Berkeley(加利福尼亚大学伯克利分校);IBM Research(IBM研究院)
本文分析了神经符号AI的工作负载特征,揭示其在现成硬件上的效率瓶颈,并提出跨层优化方案与向量符号架构硬件加速案例以提升性能。
2024-09-23 cs.AI cs.AR
Proof-Carrying Neuro-Symbolic Code
Southampton University(南安普顿大学);Heriot-Watt University(赫瑞瓦特大学)
该研究从神经与符号双视角介绍“带证明的神经符号代码”概念,解释其价值,概述该新领域的初步成功与挑战,为相关研究提供方向。
2025-04-16 cs.AI cs.LO cs.PL
Hybrid Neuro-Symbolic Models for Ethical AI in Risk-Sensitive Domains
Independent Researcher USA Email(独立研究者)
本文提出混合神经符号模型,用于在风险敏感领域实现伦理AI,通过结合神经网络与符号推理,提升AI的可解释性和合规性。
2025-11-20 cs.AI
Sample-efficient Neuro-symbolic Proximal Policy Optimization
Dept. of Computer Science, University of Verona(威尼斯大学计算机科学系)
本文提出神经符号扩展的近端策略优化方法,通过将简单实例中学习的部分逻辑策略规范用于指导更复杂的环境学习,提升了在稀疏奖励领域中的学习效率和回报率。
2026-04-28 cs.AI
Constructing a Neuro-Symbolic Mathematician from First Principles
Keqin Xie
本文提出Mathesis架构,通过神经符号方法将数学状态编码为超图,并利用可微逻辑引擎实现逻辑一致性与能量最小化,以提升复杂推理能力。
2025-12-31 cs.AI
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
University of Western Australia(西澳大利亚大学);Well-Typed(Well-Typed公司);University of Strathclyde(思克莱德大学);Heriot-Watt University(赫瑞-瓦特大学);University of Birmingham(伯明翰大学)
本文提出 Vehicle 验证条件语言,通过通用分解与定制类型化编译流程,弥合神经符号程序验证中的嵌入鸿沟,并成功验证神经网络自动驾驶汽车的安全性。
2025-06-06 cs.AI
A Fully Spectral Neuro-Symbolic Reasoning Architecture with Graph Signal Processing as the Computational Backbone
Andrew Kiruluta(独立研究者)
本文提出一种完全谱域的神经符号推理架构,以图信号处理为核心主干,将逻辑实体和关系编码为图信号并通过可学习谱滤波器与谱规则落地实现推理,在多个基准上提升了逻辑一致性、可解释性和计算效率。
2025-08-19 cs.AI
Can VLMs Reason Robustly? A Neuro-Symbolic Investigation
University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校);University of Edinburgh(爱丁堡大学)
研究视觉语言模型在分布偏移下的推理稳健性,提出结合VLM概念识别与电路符号推理的神经符号方法VLC,在三个视觉演绎推理任务上实现更高的分布外准确率。
2026-07-01 cs.AI cs.CV cs.LG
NeuroQL: A Neuro-Symbolic Language and Dataset for Inter-Subjective Reasoning
OrgD. Labs(OrgD实验室)
我们提出了一个新的人工智能任务和基线解决方案的主体间推理。我们将主观间信息定义为可能由不同方共享的客观和主观信息的混合物。例如,IR(信息检索)系统报告的商品及其客观属性,需要与在线论坛的主观用户评论进行交叉引用。对于一个人工智能系统来说,要成功地对两者进行推理,它需要能够将客观事实的符号推理与主观用户评论中的共识结合起来。为此,我们引入NeuroQL数据集和DSL(特定领域语言)作为此问题的基线解决方案。NeuroQL是一种神经符号语言,它扩展了与神经原语的逻辑统一,用于提取和检索。它可以作为一个目标,用于将主体间问题(以自然语言提出)自动翻译成可以回答它们的神经符号代码。
2023-03-13 cs.AI cs.CL cs.PL
Neuro-Symbolic Query Optimization in Knowledge Graphs
Technical University of Munich(慕尼黑工业大学);Fraunhofer-Institut für Intelligente Analyse- und Informationssysteme IAIS(弗劳恩霍夫智能分析与信息系统研究所)
本章提出神经符号查询优化器,融合符号推理与神经计算以改进知识图谱查询执行计划的选择,并分析现有神经组件及实际部署中的挑战。
2024-11-21 cs.AI cs.DB
Declarative Design of Neural Predicates in Neuro-Symbolic Systems
TU Delft(代尔夫特理工大学);KU Leuven(鲁汶大学)
针对神经符号系统因神经谓词的函数性质而缺乏声明性的问题,提出并实现了完全声明式神经谓词的通用框架,在保留学习与推理能力的同时,支持仅经单一查询类型训练即可回答任意查询。
2025-01-30 cs.AI
Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL
ISRST(未知(可能是某个特定名称的机构))
研究基于$IFOL_B$的神经符号人工智能,通过概率计算扩展其认知能力,引入全局和局部对称变换,利用神经网络基于香农最大信息熵计算概率密度函数$KI$,实现对未知句子概率计算及相关实时决策。
2026-07-21 cs.AI
ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction
Austin, USA(美国奥斯汀)
ProofNet++是一个结合LLM与形式化验证、自我修正机制的神经符号框架,通过符号证明树监督和强化学习循环提升自动定理证明的准确性与可验证性。
2025-05-30 cs.AI
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions
Faculty of Information Technology, Monash University(莫纳什大学信息技术学院)
针对复杂环境下无人机自主搜索任务的感知决策难题,提出组合式神经符号框架NEUSIS,整合多模块实现高效搜索,实验验证其性能优于现有最优模型。
2024-09-16 cs.AI cs.CV cs.RO
Neuro-Symbolic Learning of Answer Set Programs from Raw Data
IBM Research Europe(IBM欧洲研究院);Imperial College London(伦敦帝国学院);ILASP Limited(ILASP有限公司);ICREA-Universitat Pompeu Fabra(ICREA-庞培法布拉大学)
本文提出神经符号归纳学习器(NSIL),结合神经网络提取潜在概念与符号知识映射,通过训练表现偏置学习,在多个领域包括NP完全问题上达到最先进准确性和数据效率。
2024-02-02 cs.AI
Neuro-Symbolic Meta-Policies for Temporal Knowledge-Graph Memory under Partial Observability
HumemAI(胡梅人工智能公司);Vrije Universiteit Amsterdam(阿姆斯特丹自由大学);ELLIS Institute Finland & Abo Akademi University(芬兰埃利斯研究所和图尔库大学)
研究部分可观测性下的强化学习,提出神经符号元策略,结合知识图谱编码与值头,通过RDF表示等实现语义网基础,在特定设置下限定符感知的StarE - GNN配置性能最佳且有可追溯性。
2026-11-02 cs.AI
SNeL: A Structured Neuro-Symbolic Language for Entity-Based Multimodal Scene Understanding
Federal University of Rio Grande do Norte(北里奥格兰德联邦大学)
针对多模态场景下复杂实体查询与交互需求,提出结构化神经符号语言SNeL,通过对齐符号推理与神经处理弥合神经符号鸿沟,支持多模态数据的精细化信息提取。
2023-06-09 cs.AI
Neuro-Symbolic VQA: A review from the perspective of AGI desiderata
人工智能和机器学习领域的最终目标是通用人工智能(AGI);尽管这样的系统仍然是科幻小说,但各种模型都展示了AGI的各个方面。在这项工作中,我们期待在神经符号(NS)的方法,视觉问答(VQA)的角度AGI desiderata。我们看到这些系统如何很好地满足这些需求,以及这些需求如何经常将科学家拉向相反的方向。我希望通过这项工作,我们可以通过讨论这些系统的属性及其未来扩展的潜力来调整基准上的模型评估。
2021-04-13 cs.CV cs.LG
NEURON: A Neuro-symbolic System for Grounded Clinical Explainability
University of North Texas(北卡罗来纳大学达顿分校);Texas Tech University Health Sciences Center(德克萨斯农工大学健康科学中心)
NEURON结合医学本体和机器学习模型,提升预测可靠性与临床可解释性,通过RAG层生成自然语言解释,在MIMIC-IV数据集上提升AUC至0.84-0.88。
2026-08-17 cs.AI
PACE: A Neuro-Symbolic Framework for Plausible and Actionable Counterfactual Explanations
University of Klagenfurt(克拉根福大学);Norwegian University of Life Sciences(挪威生命科学大学)
提出PACE框架,结合神经网络预测与符号推理,生成符合领域约束的可操作反事实解释,在Adult Income数据集上验证了可行性与可解释性的平衡。
2026-09-14 cs.AI
REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence
REASON通过统一图表示和自适应剪枝技术,实现概率逻辑推理的加速,提升神经符号AI的效率与可扩展性。
2026-01-28 cs.AI cs.AR
Federated Neuro-Symbolic Learning
College of Computing and Data Science, Nanyang Technological University(南洋理工大学计算与数据科学学院);IBM Thomas J. Watson Research Center(IBM托马斯·J·沃森研究中心)
本文提出联邦神经符号学习框架FedNSL,以潜在变量为通信媒介,通过KL散度约束和调整V-EM解决规则分布异质性,在联邦学习中实现神经符号学习,显著优于现有方法。
2024-05-27 cs.AI
VisualPredicator: Learning Abstract World Models with Neuro-Symbolic Predicates for Robot Planning
University of Cambridge(剑桥大学);Cornell University(康奈尔大学);Massachusetts Institute of Technology(麻省理工学院);Princeton University(普林斯顿大学);University of Oxford(牛津大学);The Alan Turing Institute(阿兰·图灵研究所)
本文提出 Neuro-Symbolic Predicates 一阶抽象语言及在线算法,用于学习抽象世界模型,在五个模拟机器人领域实验中展现出更优的样本复杂度、分布外泛化能力和可解释性。
2025-02-28 cs.AI cs.CV cs.LG
A Neuro-Symbolic Framework for Reasoning under Perceptual Uncertainty: Bridging Continuous Perception and Discrete Symbolic Planning
The University of Hong Kong(香港大学);Guangzhou College of Commerce(广州商学院)
针对AI系统中连续感知与离散符号推理的连接挑战,提出一种神经符号框架,通过概率符号状态提取与不确定性感知规划器实现感知到规划的不确定性建模与传播,在桌面机器人操纵任务中取得优于POMDP基线的性能,且具通用性。
2025-11-18 cs.AI
Neuro-Symbolic AI: Explainability, Challenges, and Future Trends
Texas Tech University(德克萨斯理工大学)
针对神经网络可解释性不足的问题,本文基于191项神经符号AI研究提出五类可解释性分类法,分析三大挑战,并为未来研究提出建议。
2024-11-07 cs.AI cs.LG
IVIE: A Neuro-symbolic Approach to Incremental and Validated Generation of Interactive Fiction Worlds
Instituto de Computación, Facultad de Ingeniería, Universidad de la República(乌拉圭共和国大学工程学院计算机研究所)
提出IVIE神经符号方法,结合LLM的创造力与符号验证的连贯性,通过四阶段增量生成管道构建可玩的交互式小说世界,人类评估显示其生成沉浸式、主题连贯的世界,平衡了灵活性与叙事一致性。
2026-06-12 cs.AI cs.CL
Advanced Weakly-Supervised Formula Exploration for Neuro-Symbolic Mathematical Reasoning
The University of Tokyo(东京大学)
针对神经符号推理中中间标签难获取且大模型生成指令不可靠的问题,提出利用问题输入与最终输出的弱监督来探索中间标签的高级方法,并在 Mathematics 数据集上验证了其有效性。
2025-02-02 cs.AI cs.LG
Distilling Neuro-Symbolic Programs into 3D Multi-modal LLMs
University of California, Berkeley(加州大学伯克利分校)
提出APEIRIA,通过三阶段课程学习将符号推理模式蒸馏到3D多模态大语言模型中,实现透明推理与开放词汇空间推理的统一。
2026-06-29 cs.AI cs.CL cs.CV
Softened Symbol Grounding for Neuro-symbolic Systems
Nanjing University(南京大学);Birkbeck, University of London(伦敦大学伯克贝克学院)
本文提出软化符号接地框架,通过 Boltzmann 分布建模、结合 projection 与 SMT solvers 的 MCMC 采样及退火机制,统一神经训练与符号推理,并在三类任务上突破现有方法边界。
2024-03-01 cs.AI cs.LG
Compliance-Aware Predictive Process Monitoring: A Neuro-Symbolic Approach
University of Parma(帕尔马大学);Eindhoven University of Technology(埃因霍温理工大学);RWTH Aachen University(亚琛工业大学)
本文提出一种神经符号方法,结合逻辑张量网络注入过程知识,提升预测过程监控的合规性和准确性。
2026-03-31 cs.AI
Neuro-Symbolic Reasoning Shortcuts: Mitigation Strategies and their Limitations
University of Trento(特伦托大学);University of Pisa(比萨大学)
神经符号预测器学习从子符号输入到更高级别概念的映射,然后对这个中间表示进行(概率)逻辑推理。这种设置在与符号先验知识的一致性方面提供了明显的优势,并且通常被认为提供了可解释性的好处,因为-凭借遵守知识-所学习的概念可以被人类利益相关者更好地理解。然而,最近的研究表明,这种设置受到推理捷径的影响,从而通过利用具有非预期语义的概念来实现高准确性,从而产生差的分布性能并损害可解释性。在这篇简短的论文中,我们建立了推理捷径和最优的损失函数之间的正式联系,并确定推理捷径可能出现的情况。在此基础上,我们讨论了自然缓解策略,如重建和概念监督的局限性。
2023-03-22 cs.AI cs.LG
Neuro-Symbolic Data Generation for Math Reasoning
State Key Lab of Novel Software Technology, Nanjing University(南京大学计算机软件新技术国家重点实验室);Microsoft Research Asia(微软亚洲研究院)
针对LLMs数学推理缺陷的成因问题,提出结合LLMs非形式化优势、数学求解器符号推理与投影马尔可夫链蒙特卡洛采样的神经符号数据生成方法,生成高质量数据可提升LLaMA-2等模型性能至同类最优水平。
2024-12-06 cs.AI
ProRAC: A Neuro-symbolic Method for Reasoning about Actions with LLM-based Progression
Haoyong Wu, Yongmei Liu(作者)
本文提出神经符号框架ProRAC,利用LLM提取RAC问题要素、逐步执行行动推导状态并回答查询,在多类RAC基准测试中展现出优异性能。
2025-11-19 cs.AI cs.CL