基于图的分析方法在Transformer模型知识提取中的应用

Alexandre Monnier Weil，Vitor A. C. Horta，Hamza Qadeer，Alessandra Mileo；第19届神经符号学习与推理国际会议论文集，PMLR 284:1-14

[摘要][下载PDF][OpenReview]

图神经网络状态是否包含图属性？

Tom Pelletreau-Duris，Ruud van Bakel，Michael Cochez；第19届神经符号学习与推理国际会议论文集，PMLR 284:15-51

[摘要][下载PDF][OpenReview][软件]

一种可扩展的概率神经符号鲁棒性验证方法

Vasileios Manginas，Nikolaos Manginas，Edward Stevinson，Sherwin Varghese，Nikos Katzouris，Georgios Paliouras，Alessio Lomuscio；第19届神经符号学习与推理国际会议论文集，PMLR 284:52-69

[摘要][下载PDF][OpenReview][软件]

SymDQN：基于神经网络的强化学习中的符号知识和推理

Ivo Amador，Nina Gierasimczuk；第19届神经符号学习与推理国际会议论文集，PMLR 284:70-85

[摘要][下载PDF][OpenReview][软件]

弥合神经网络和符号计算：RNN 在计数器和Dyck语言上的可学习性研究

Neisarg Dave，Daniel Kifer，C. Lee Giles，Ankur Mali；第19届神经符号学习与推理国际会议论文集，PMLR 284:86-115

[摘要][下载PDF][OpenReview]

Horn逻辑推理的高质量嵌入

Yifan Zhang，Yasir White，Dean Clark，Joseph Sanchez，Jevon Lipsey，Ashely Hirst，Jeff Heflin；第19届神经符号学习与推理国际会议论文集，PMLR 284:116-129

[摘要][下载PDF][OpenReview]

为自动形式化中使用本体中的术语进行接地：分词就足够了

Richard Thompson，Adam Pease，Mathias Kölsch，Angelos Toutsios；第19届神经符号学习与推理国际会议论文集，PMLR 284:130-136

[摘要][下载PDF][OpenReview][软件]

重新思考LLM中的推理：超越CoT和ICL的神经符号局部重构

Rushitha Santhoshi Mamidala，Anshuman Chhabra，Ankur Mali；第19届神经符号学习与推理国际会议论文集，PMLR 284:137-159

[摘要][下载PDF][OpenReview]

使用大型语言模型进行描述逻辑概念学习

Adrita Barua，Pascal Hitzler；第19届神经符号学习与推理国际会议论文集，PMLR 284:160-178

[摘要][下载PDF][OpenReview][软件]

对神经符号框架进行更清晰的表征：一份宣言

Sania Sinha，Tanawan Premsri，Parisa Kordjamshidi；第19届神经符号学习与推理国际会议论文集，PMLR 284:179-217

[摘要][下载PDF][OpenReview]

在受深度学习启发的环境中实践向量符号架构的经验教训

Francesco S. Carzaniga，Michael Hersche，Kaspar Schindler，Abbas Rahimi；第19届神经符号学习与推理国际会议论文集，PMLR 284:218-236

[摘要][下载PDF][OpenReview]

概念探测：在哪里可以找到人类定义的概念

Manuel de Sousa Ribeiro，Afonso Leote，Joao Leite；第19届神经符号学习与推理国际会议论文集，PMLR 284:237-251

[摘要][下载PDF][OpenReview]

T-ILR：用于LTLf的神经符号集成

Riccardo Andreoni，Andrei Buliga，Alessandro Daniele，Chiara Ghidini，Marco Montali，Massimiliano Ronzani；第19届神经符号学习与推理国际会议论文集，PMLR 284:252-265

[摘要][下载PDF][OpenReview]

分层神经符号决策Transformer

Ali Baheri，Cecilia Alm；第19届神经符号学习与推理国际会议论文集，PMLR 284:266-284

[摘要][下载PDF][OpenReview]

神经符号推理捷径下的独立性假设

Emile van Krieken，Pasquale Minervini，Edoardo Ponti，Antonio Vergari；第19届神经符号学习与推理国际会议论文集，PMLR 284:285-302

[摘要][下载PDF][OpenReview][软件]

在盒语义下知识库嵌入的表达能力理解

Mena Leemhuis，Oliver Kutz；第19届神经符号学习与推理国际会议论文集，PMLR 284:303-321

[摘要][下载PDF][OpenReview]

神经符号架构公理的集成：一份宣言

Connor Pryor, Lise Getoor; 第19届神经符号学习与推理国际会议论文集, PMLR 284:322-342

[abs][下载PDF][OpenReview]

CRAFT：用于视觉功能效用的神经符号框架

周晨, Joe Lin, Sathyanarayanan N. Aakur; 第19届神经符号学习与推理国际会议论文集, PMLR 284:343-352

[abs][下载PDF][OpenReview]

使用形式化验证的LLM生成安全关键的汽车C程序

Merlijn Sevenhuijsen, Minal Suresh Patil, Mattias Nyberg, Gustav Ung; 第19届神经符号学习与推理国际会议论文集, PMLR 284:353-378

[abs][下载PDF][OpenReview]

通过知识图谱与GDELT对话

Audun D Myers, Max Vargas, Sinan Guven Aksoy, Cliff Joslyn, Benjamin Wilson, Lee Burke, Tom Grimes; 第19届神经符号学习与推理国际会议论文集, PMLR 284:379-391

[abs][下载PDF][OpenReview]

基于LLM的解释的健全且完备的神经符号推理

Bradley P. Allen, Prateek Chhikara, Thomas Macaulay Ferguson, Filip Ilievski, Paul Groth; 第19届神经符号学习与推理国际会议论文集, PMLR 284:392-419

[abs][下载PDF][OpenReview][软件]

基于模式化表示的神经符号推理系统

François Olivier, Zied Bouraoui; 第19届神经符号学习与推理国际会议论文集, PMLR 284:420-438

[abs][下载PDF][OpenReview]

探索社会选择对齐的验证框架

Jessica Ciupa, Vaishak Belle, Ekaterina Komendantskaya; 第19届神经符号学习与推理国际会议论文集, PMLR 284:439-446

[abs][下载PDF][OpenReview]

神经符号人工智能方法的可解释逻辑推理的比较研究

Michael K. Chen; 第19届神经符号学习与推理国际会议论文集, PMLR 284:447-462

[abs][下载PDF][OpenReview]

解耦神经析取范式模型

Kexin Gu Baugh, Vincent Perreault, Matthew Baugh, Luke Dickens, Katsumi Inoue, Alessandra Russo; 第19届神经符号学习与推理国际会议论文集, PMLR 284:463-493

[abs][下载PDF][OpenReview][软件]

mULLER：神经符号ULLER框架的模块化单子语义

Daniel Romero Schellhorn, Till Mossakowski; 第19届神经符号学习与推理国际会议论文集, PMLR 284:494-518

[abs][下载PDF][OpenReview][软件]

KGEs的ART：链接预测的艺术

Yannick Brunink, Michael Cochez, Jacopo Urbani; 第19届神经符号学习与推理国际会议论文集, PMLR 284:519-539

[abs][下载PDF][OpenReview]

SymRAG：通过自适应查询路由进行高效的神经符号检索

Safayat Bin Hakim, Muhammad Adil, Alvaro Velasquez, Houbing Herbert Song; 第19届神经符号学习与推理国际会议论文集, PMLR 284:540-564

[abs][下载PDF][OpenReview][软件]

基于表格数据的神经符号关联规则挖掘

Erkan Karabulut, Paul Groth, Victoria Degeler; 第19届神经符号学习与推理国际会议论文集, PMLR 284:565-588

[abs][下载PDF][OpenReview][软件]

神经符号标签化注释用于可解释的化身创建

Minghao Liu, Zeyu Cheng, Shen Sang, Jing Liu, James Davis; 第19届神经符号学习与推理国际会议论文集, PMLR 284:589-624

[abs][下载PDF][OpenReview]

弥合机器人：通过多模态-LLM和知识图谱从感知到行动

Margherita Martorana, Francesca Urgese, Mark Adamik, Ilaria Tiddi; 第19届神经符号学习与推理国际会议论文集, PMLR 284:625-646

[abs][下载PDF][OpenReview]

JARVIS：用于对话式具身代理的神经符号常识推理框架

Kaizhi Zheng, Kaiwen Zhou, Jing Gu, Yue Fan, Jialu Wang, Zonglin Di, Xuehai He, Xin Eric Wang; 第19届神经符号学习与推理国际会议论文集, PMLR 284:647-673

[abs][下载PDF][OpenReview]

神经符号方法用于链接预测的比较分析

Guillaume Delplanque, Luisa Werner, Nabil Layaïda, Pierre Geneves; 第19届神经符号学习与推理国际会议论文集, PMLR 284:674-696

[abs][下载PDF][OpenReview]

ArgRAG：使用定量双极论证的可解释检索增强生成

朱玉成, 尼科·波蒂卡, 丹尼尔·埃尔南德斯, 何源, 丁子峰, 熊博, 周冬卓然, 叶夫根尼·哈尔拉莫夫, 施特芬·斯塔布; 第19届神经符号学习与推理国际会议论文集, PMLR 284:697-718

[abs][下载PDF][OpenReview]

理解深度神经网络上布尔函数可学习性：PAC学习与神经符号模型

马西奥·尼科劳, 安德森·R·塔瓦雷斯, 志伟·张, 佩德罗·H·C·阿维拉, 若昂·马科斯·弗拉赫, 路易斯·D·C·兰布, 莫舍·瓦尔迪; 第19届神经符号学习与推理国际会议论文集, PMLR 284:719-735

[abs][下载PDF][OpenReview][软件]

将KGE黑盒提炼成可解释的NeSy模型

罗德里戈·卡斯特拉诺·翁蒂韦罗斯, 弗朗切斯科·吉安尼尼, 米开朗基罗·迪利根蒂; 第19届神经符号学习与推理国际会议论文集, PMLR 284:736-749

[abs][下载PDF][OpenReview][软件]

大型推理模型能否在感知不确定性下进行类比推理？

贾科莫·坎波桑皮耶罗, 迈克尔·赫舍, 罗杰·瓦滕霍费尔, 阿布·塞巴斯蒂安, 阿巴斯·拉希米; 第19届神经符号学习与推理国际会议论文集, PMLR 284:750-776

[abs][下载PDF][OpenReview]

行动到基础：规划领域中符号基础的框架

帕纳吉奥蒂斯·林佩罗普洛斯, 刘丽平; 第19届神经符号学习与推理国际会议论文集, PMLR 284:777-795

[abs][下载PDF][OpenReview]

基于卷积神经网络和决策树混合的神经符号模型

拉苏尔·凯尔盖尔丁, 米格尔·A·卡雷拉-佩皮南; 第19届神经符号学习与推理国际会议论文集, PMLR 284:796-813

[abs][下载PDF][OpenReview]

神经定理证明：为形式化验证生成和构建证明

巴拉吉·拉奥, 威廉·埃尔斯, 卡洛·利皮齐; 第19届神经符号学习与推理国际会议论文集, PMLR 284:814-829

[abs][下载PDF][OpenReview][软件]

迈向可解释的抑郁症检测：利用生成式人工智能揭示社交媒体信号的神经符号方法

穆罕默德·赛义德·马赫达维内贾德, 佩曼·阿迪比, 阿米尔哈桑·莫纳杰米, 帕斯卡尔·希茨勒; 第19届神经符号学习与推理国际会议论文集, PMLR 284:830-853

[abs][下载PDF][OpenReview][软件]

用于神经符号机器人学习的贝叶斯逆物理学

奥克塔维奥·阿里亚加, 丽贝卡·凯莉·亚当, 梅尔文·劳克斯, 丽莎·古特泽特, 马可·拉尼, 扬·彼得斯, 弗兰克·基希纳; 第19届神经符号学习与推理国际会议论文集, PMLR 284:854-872

[abs][下载PDF][OpenReview]

格式视觉：用于评估视觉感知中格式原则的数据集

景远·沙, 光·辛都, 克里斯蒂安·克尔斯廷, 德文德拉·辛格·达米; 第19届神经符号学习与推理国际会议论文集, PMLR 284:873-890

[abs][下载PDF][OpenReview][软件]

基于本体的盒子嵌入和知识图谱，用于预测酿酒酵母中的表型特征

菲利普·克隆斯特伦, 丹尼尔·布伦萨克, 伊夫根尼娅·A·蒂尤科娃, 罗斯·D·金; 第19届神经符号学习与推理国际会议论文集, PMLR 284:891-912

[abs][下载PDF][OpenReview][软件]

神经符号逆约束强化学习

奥利弗·迪恩, 奥利弗·雷; 第19届神经符号学习与推理国际会议论文集, PMLR 284:913-925

[abs][下载PDF][OpenReview]

MC3G：模型无关的因果约束反事实生成

索帕姆·达斯古普塔, 萨达夫·MD·哈利姆, 华金·阿里亚斯, 埃尔默·萨拉扎尔, 戈帕尔·古普塔; 第19届神经符号学习与推理国际会议论文集, PMLR 284:926-937

[abs][下载PDF][OpenReview][软件]

神经符号学习在结构化概率空间中：一个案例研究

奥莱·芬斯克, 塞巴斯蒂安·巴德, 托马斯·基尔斯特; 第19届神经符号学习与推理国际会议论文集, PMLR 284:938-956

[abs][下载PDF][OpenReview]

使用模型基础的符号人工智能系统进行学习和推理

阿尼鲁达·查托帕迪亚, 拉吉·丹德卡, 考希克·罗伊; 第19届神经符号学习与推理国际会议论文集, PMLR 284:957-976

[abs][下载PDF][OpenReview][软件]

基于逻辑推理的可解释零样本视觉问答

托马斯·埃特, 扬·哈德尔, 尼尔森·伊格拉·鲁伊斯, 卢卡斯·兰格, 约翰内斯·奥茨奇, 比莱姆·舍文斯, 扬尼克·斯特罗特根; 第19届神经符号学习与推理国际会议论文集, PMLR 284:977-991

[abs][下载PDF][OpenReview][软件]

基于证据的神经符号框架，用于处理模糊图像场景分类

朱利亚·穆塔斯, 维塞尔卡·博埃娃, 埃莱娜·齐波科娃; 第19届神经符号学习与推理国际会议论文集, PMLR 284:992-1003

[abs][下载PDF][OpenReview]

神经符号方法实现反事实公平性

泽尼亚·海尔曼, 基亚拉·曼加尼尼, 马蒂亚·塞拉托, 维沙克·贝尔; 第19届神经符号学习与推理国际会议论文集, PMLR 284:1004-1025

[abs][下载 PDF][OpenReview][软件]

学习用于时序 POMDP 求解的符号持久性宏动作

Celeste Veronese, Daniele Meli, Alessandro Farinelli; 神经符号学习与推理第 19 届国际会议论文集, PMLR 284:1026-1040

[abs][下载 PDF][OpenReview]

KEA Explain：使用图核分析解释幻觉

Reilly Haskins, Benjamin Adams; 神经符号学习与推理第 19 届国际会议论文集, PMLR 284:1041-1058

[abs][下载 PDF][OpenReview][软件]

使用神经符号推理增强大型语言模型以进行多语言任务

Sina Bagheri Nezhad, Ameeta Agrawal; 神经符号学习与推理第 19 届国际会议论文集, PMLR 284:1059-1076

[abs][下载 PDF][OpenReview]

面向对象的神经论证学习

Abdul Rahman Jacob, Avinash Kori, Emanuele De Angelis, Ben Glocker, Maurizio Proietti, Francesca Toni; 神经符号学习与推理第 19 届国际会议论文集, PMLR 284:1077-1089

[abs][下载 PDF][OpenReview]

基于案例推理的神经论证学习

Adam Gould, Francesca Toni; 神经符号学习与推理第 19 届国际会议论文集, PMLR 284:1090-1106

[abs][下载 PDF][OpenReview][软件]

带有克罗内克旋转乘积的向量符号键值存储的线性对数清理

Ruipeng Liu, Qinru Qiu, Simon Khan, Garrett Ethan Katz; 神经符号学习与推理第 19 届国际会议论文集, PMLR 284:1107-1118

[abs][下载 PDF][OpenReview]

评估神经符号 AI 架构：设计原则、定性基准、比较分析和结果

Oualid BOUGZIME, Samir Jabbar, Christophe Cruz, Frédéric Demoly; 神经符号学习与推理第 19 届国际会议论文集, PMLR 284:1119-1143

[abs][下载 PDF][OpenReview]