学习最小神经规范

耿楚勤、王兆岳、叶浩林、司旭杰; 神经符号系统国际会议论文集, PMLR 288:1-21

[摘要][下载 PDF]

使用视觉语言模型进行端到端导航：将空间推理转化为问答

Dylan Goetting、Himanshu Gaurav Singh、Antonio Loquercio; 神经符号系统国际会议论文集, PMLR 288:22-35

[摘要][下载 PDF]

为什么神经网络可以通过基于梯度的训练发现符号结构：神经符号推理的代数和几何基础

Peihao Wang、Zhangyang “Atlas” Wang; 神经符号系统国际会议论文集, PMLR 288:36-65

[摘要][下载 PDF]

物理可解释世界模型的四个原则

Jordan Peper、Zhenjiang Mao、Yuang Geng、Siyuan Pan、Ivan Ruchkin; 神经符号系统国际会议论文集, PMLR 288:66-89

[摘要][下载 PDF]

逻辑门神经网络适合于验证

Fabian Kresse、Emily Yu、Christoph H. Lampert、Thomas A. Henzinger; 神经符号系统国际会议论文集, PMLR 288:90-103

[摘要][下载 PDF]

基于神经符号强化学习的安全自主导航的实时可达性分析

Nicholas Potteiger、Diego Manzanas Lopez、Taylor T. Johnson、Xenofon Koutsoukos; 神经符号系统国际会议论文集, PMLR 288:104-126

[摘要][下载 PDF]

用于神经符号验证自主系统的状态依赖保形感知界限

Thomas Waite、Yuang Geng、Trevor Turnquist、Ivan Ruchkin、Radoslav Ivanov; 神经符号系统国际会议论文集, PMLR 288:127-143

[摘要][下载 PDF]

Lean Copilot：大型语言模型作为 Lean 定理证明的助手

Peiyang Song、Kaiyu Yang、Anima Anandkumar; 神经符号系统国际会议论文集, PMLR 288:144-169

[摘要][下载 PDF]

神经符号有限状态机和下推自动机：与视觉语言模型（VLMs）相比，改进的多模态推理

Samuel Sasaki、Diego Manzanas Lopez、Taylor T. Johnson; 神经符号系统国际会议论文集, PMLR 288:170-187

[摘要][下载 PDF]

用于物理基础、鲁棒性和安全的生成的神经符号生成扩散模型

Jacob K. Christopher、Michael Cardei、Jinhao Liang、Ferdinando Fioretto; 神经符号系统国际会议论文集, PMLR 288:188-213

[摘要][下载 PDF]

通过抽象梯度下降学习受约束的方案

Shiwen Yu、Wanwei Liu、Zengyu Liu、Liqian Chen、Ting Wang、Naijun Zhan、Ji Wang; 神经符号系统国际会议论文集, PMLR 288:214-230

[摘要][下载 PDF]

行为树架构和执行节点的微分合成

Yu Huang、Ziji Wu、Kexin Ma、Ji Wang; 神经符号系统国际会议论文集, PMLR 288:231-259

[摘要][下载 PDF]

用于表格数据的知识增强机器学习

Juyong Kim、Chandler Squires、Pradeep Ravikumar; 神经符号系统国际会议论文集, PMLR 288:260-292

[摘要][下载 PDF]

Transformer 模型中的 Modus Ponens 研究

Paulo Pirozelli、Fabio G. Cozman; 神经符号系统国际会议论文集, PMLR 288:293-315

[摘要][下载 PDF]

基于规范的强化学习

Kishor Jothimurugan、Suguman Bansal、Osbert Bastani、Rajeev Alur; 神经符号系统国际会议论文集, PMLR 288:316-330

[摘要][下载 PDF]

从道路到代码：神经符号程序合成用于自主驾驶场景翻译和分析

Johnathan Leung、Guansen Tong、Parasara Sridhar Duggirala、Praneeth Chakravarthula; 神经符号系统国际会议论文集, PMLR 288:331-351

[摘要][下载 PDF]

使用 ReLU 神经网络的线性切换系统的 Lyapunov 稳定性证书的正式合成

Virginie Debauche、Alec Edwards、Raphael M. Jungers、Alessandro Abate; 神经符号系统国际会议论文集, PMLR 288:352-364

[摘要][下载 PDF]

通过成员资格和偏好查询学习形式规范

Ameesh Shah、Marcell Vazquez-Chanlatte、Sebastian Junges、Sanjit A. Seshia; 神经符号系统国际会议论文集, PMLR 288:365-383

[摘要][下载 PDF]

使用内存计算的有效神经符号策略

Tergel Molom-Ochir、Naman Saxena、Jiwoo Kim、Yiran Chen、Zhangyang Wang、Miroslav Pajic、Hai “Helen” Li; 神经符号系统国际会议论文集, PMLR 288:384-395

[abs][下载 PDF]

神经符号发现马尔可夫人群过程

Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov; 神经符号系统国际会议论文集, PMLR 288:396-408

[abs][下载 PDF]

神经符号行为树 (NSBT) 及其验证

Serena S. Serbinowska, Diego Manzanas Lopez, Dung Thuy Nguyen, Taylor T. Johnson; 神经符号系统国际会议论文集, PMLR 288:409-423

[abs][下载 PDF]

KGAccel：用于知识图推理的特定领域可重构加速器

Hanning Chen, Ali Zakeri, Yang Ni, Fei Wen, Behnam Khaleghi, Hugo Latapie, Alvaro Velasquez, Mohsen Imani; 神经符号系统国际会议论文集, PMLR 288:424-445

[abs][下载 PDF]

ChatHTN：交织近似 (LLM) 和符号 HTN 规划

Héctor Muñoz-Avila, David W. Aha, Paola Rizzo; 神经符号系统国际会议论文集, PMLR 288:446-458

[abs][下载 PDF]

分类网络：用于神经符号配对的表示

Zekun Wang, Ethan L. Haarer, Nicki Barari, Christopher J. MacLellan; 神经符号系统国际会议论文集, PMLR 288:459-471

[abs][下载 PDF]

可解释的模仿学习通过生成对抗式 STL 推理和控制

Wenliang Liu, Danyang Li, Erfan Aasi, Daniela Rus, Roberto Tron, Calin Belta; 神经符号系统国际会议论文集, PMLR 288:472-489

[abs][下载 PDF]

神经符号人工智能的有效处理：教程和跨层协同设计案例研究

Zishen Wan, Che-Kai Liu, Hanchen Yang, Ritik Raj, Arijit Raychowdhury, Tushar Krishna; 神经符号系统国际会议论文集, PMLR 288:490-504

[abs][下载 PDF]

具有神经符号感知的可靠自主性

R. Spencer Hallyburton, Miroslav Pajic; 神经符号系统国际会议论文集, PMLR 288:505-523

[abs][下载 PDF]

挖掘因果信号时序逻辑公式以用于具有时序扩展任务的有效强化学习

Hadi Partovi Aria, Zhe Xu; 神经符号系统国际会议论文集, PMLR 288:524-542

[abs][下载 PDF]

L*LM：从演示、示例和自然语言中学习自动机

Marcell Vazquez-Chanlatte, Karim Elmaaroufi, Stefan Witwicki, Matei Zaharia, Sanjit A. Seshia; 神经符号系统国际会议论文集, PMLR 288:543-569

[abs][下载 PDF]

扩展跨度：结合衰减记忆和检索的混合状态空间模型

Elvis Nunez, Luca Zancato, Benjamin Bowman, Aditya Golatkar, Wei Xia, Stefano Soatto; 神经符号系统国际会议论文集, PMLR 288:570-596

[abs][下载 PDF]

用于控制转移的随机神经模拟关系

Alireza Nadali, Ashutosh Trivedi, Majid Zamani; 神经符号系统国际会议论文集, PMLR 288:597-620

[abs][下载 PDF]

泰勒模型物理信息神经网络 (PINNs) 用于常微分方程

Chandra Kanth Nagesh, Sriram Sankaranarayanan, Ramneet Kaur, Tuhin Sahai, Susmit Jha; 神经符号系统国际会议论文集, PMLR 288:621-642

[abs][下载 PDF]

从非马尔可夫强化学习中的抽象模型进行转移的双向端到端框架

Mahyar Alinejad, Precious Nwaorgu, Chinwendu Enyioha, Yue Wang, Alvaro Velasquez, George Atia; 神经符号系统国际会议论文集, PMLR 288:643-660

[abs][下载 PDF]

用于最优自动机条件强化学习的经过证明正确的自动机嵌入

Beyazit Yalcinkaya, Niklas Lauffer, Marcell Vazquez-Chanlatte, Sanjit A. Seshia; 神经符号系统国际会议论文集, PMLR 288:661-675

[abs][下载 PDF]

构建神经符号视频智能体的挑战

Sahil Shah, Harsh Goel, Sai Shankar Narasimhan, Minkyu Choi, S P Sharan, Oguzhan Akcin, Sandeep Chinchali; 神经符号系统国际会议论文集, PMLR 288:676-692

[abs][下载 PDF]

PCA-DDReach：通过主成分分析进行随机动力系统有效统计可达性分析

Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh; 神经符号系统国际会议论文集, PMLR 288:693-707

[abs][下载 PDF]

基于神经网络求解器用于双曲守恒律的教程：监督与无监督学习，以及交通建模应用

Alexi Canesse, Zhe Fu, Nathan Lichtlé, Hossein Nick Zinat Matin, Zihe Liu, Maria Laura Delle Monache, Alexandre M. Bayen; 神经符号系统国际会议论文集, PMLR 288:708-720

[abs][下载 PDF]

基于查询的概念学习中的模块化

Benjamin Caulfield, Sanjit A. Seshia; 神经符号系统国际会议论文集, PMLR 288:721-744

[abs][下载 PDF]

生成式人工智能模型中潜在状态的可观察性

Tian Yu Liu, Stefano Soatto, Matteo Marchi, Pratik Chaudhari, Paulo Tabuada; 神经符号系统国际会议论文集, PMLR 288:745-764

[abs][下载 PDF]

基于自动机的任务知识表示，来自生成语言模型

Yunhao Yang, Cyrus Neary, Ufuk Topcu; 神经符号系统国际会议论文集, PMLR 288:765-783

[abs][下载 PDF]