Learning Minimal Neural Specifications

Chuqin Geng, Zhaoyue Wang, Haolin Ye, Xujie Si; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:1-21

[abs][Download PDF]

End-to-End Navigation with Vision-Language Models: Transforming Spatial Reasoning into Question-Answering

Dylan Goetting, Himanshu Gaurav Singh, Antonio Loquercio; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:22-35

[abs][Download PDF]

Why Neural Networks Can Discover Symbolic Structures with Gradient-based Training: An Algebraic and Geometric Foundation for Neurosymbolic Reasoning

Peihao Wang, Zhangyang “Atlas” Wang; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:36-65

[abs][Download PDF]

Four Principles for Physically Interpretable World Models

Jordan Peper, Zhenjiang Mao, Yuang Geng, Siyuan Pan, Ivan Ruchkin; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:66-89

[abs][Download PDF]

Logic Gate Neural Networks are Good for Verification

Fabian Kresse, Emily Yu, Christoph H. Lampert, Thomas A. Henzinger; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:90-103

[abs][Download PDF]

Real-Time Reachability for Neurosymbolic Reinforcement Learning-based Safe Autonomous Navigation

Nicholas Potteiger, Diego Manzanas Lopez, Taylor T. Johnson, Xenofon Koutsoukos; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:104-126

[abs][Download PDF]

State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems

Thomas Waite, Yuang Geng, Trevor Turnquist, Ivan Ruchkin, Radoslav Ivanov; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:127-143

[abs][Download PDF]

Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean

Peiyang Song, Kaiyu Yang, Anima Anandkumar; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:144-169

[abs][Download PDF]

Neurosymbolic Finite and Pushdown Automata: Improved Multimodal Reasoning versus Vision Language Models (VLMs)

Samuel Sasaki, Diego Manzanas Lopez, Taylor T. Johnson; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:170-187

[abs][Download PDF]

Neuro-Symbolic Generative Diffusion Models for Physically Grounded, Robust, and Safe Generation

Jacob K. Christopher, Michael Cardei, Jinhao Liang, Ferdinando Fioretto; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:188-213

[abs][Download PDF]

Learning Subject to Constraints via Abstract Gradient Descent

Shiwen Yu, Wanwei Liu, Zengyu Liu, Liqian Chen, Ting Wang, Naijun Zhan, Ji Wang; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:214-230

[abs][Download PDF]

Differentiable Synthesis of Behavior Tree Architectures and Execution Nodes

Yu Huang, Ziji Wu, Kexin Ma, Ji Wang; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:231-259

[abs][Download PDF]

Knowledge-Enriched Machine Learning for Tabular Data

Juyong Kim, Chandler Squires, Pradeep Ravikumar; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:260-292

[abs][Download PDF]

A Study of Modus Ponens in Transformer Models

Paulo Pirozelli, Fabio G. Cozman; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:293-315

[abs][Download PDF]

Specification-Guided Reinforcement Learning

Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:316-330

[abs][Download PDF]

From Road to Code: Neuro-Symbolic Program Synthesis for Autonomous Driving Scene Translation and Analysis

Johnathan Leung, Guansen Tong, Parasara Sridhar Duggirala, Praneeth Chakravarthula; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:331-351

[abs][Download PDF]

Formal Synthesis of Lyapunov Stability Certificates for Linear Switched Systems using ReLU Neural Networks

Virginie Debauche, Alec Edwards, Raphael M. Jungers, Alessandro Abate; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:352-364

[abs][Download PDF]

Learning Formal Specifications from Membership and Preference Queries

Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:365-383

[abs][Download PDF]

Efficient Neuro-Symbolic Policy using In-Memory Computing

Tergel Molom-Ochir, Naman Saxena, Jiwoo Kim, Yiran Chen, Zhangyang Wang, Miroslav Pajic, Hai “Helen” Li; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:384-395

[abs][Download PDF]

Neuro-Symbolic Discovery of Markov Population Processes

Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:396-408

[abs][Download PDF]

Neuro-Symbolic Behavior Trees (NSBTs) and Their Verification

Serena S. Serbinowska, Diego Manzanas Lopez, Dung Thuy Nguyen, Taylor T. Johnson; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:409-423

[abs][Download PDF]

KGAccel: A Domain-Specific Reconfigurable Accelerator for Knowledge Graph Reasoning

Hanning Chen, Ali Zakeri, Yang Ni, Fei Wen, Behnam Khaleghi, Hugo Latapie, Alvaro Velasquez, Mohsen Imani; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:424-445

[abs][Download PDF]

ChatHTN: Interleaving Approximate (LLM) and Symbolic HTN Planning

Héctor Muñoz-Avila, David W. Aha, Paola Rizzo; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:446-458

[abs][Download PDF]

Taxonomic Networks: A Representation for Neuro-Symbolic Pairing

Zekun Wang, Ethan L. Haarer, Nicki Barari, Christopher J. MacLellan; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:459-471

[abs][Download PDF]

Interpretable Imitation Learning via Generative Adversarial STL Inference and Control

Wenliang Liu, Danyang Li, Erfan Aasi, Daniela Rus, Roberto Tron, Calin Belta; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:472-489

[abs][Download PDF]

Efficient Processing of Neuro-Symbolic AI: A Tutorial and Cross-Layer Co-Design Case Study

Zishen Wan, Che-Kai Liu, Hanchen Yang, Ritik Raj, Arijit Raychowdhury, Tushar Krishna; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:490-504

[abs][Download PDF]

Assured Autonomy with Neuro-Symbolic Perception

R. Spencer Hallyburton, Miroslav Pajic; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:505-523

[abs][Download PDF]

Mining Causal Signal Temporal Logic Formulas for Efficient Reinforcement Learning with Temporally Extended Tasks

Hadi Partovi Aria, Zhe Xu; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:524-542

[abs][Download PDF]

L*LM: Learning Automata from Demonstrations, Examples, and Natural Language

Marcell Vazquez-Chanlatte, Karim Elmaaroufi, Stefan Witwicki, Matei Zaharia, Sanjit A. Seshia; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:543-569

[abs][Download PDF]

Expansion Span: Combining Fading Memory and Retrieval in Hybrid State Space Models

Elvis Nunez, Luca Zancato, Benjamin Bowman, Aditya Golatkar, Wei Xia, Stefano Soatto; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:570-596

[abs][Download PDF]

Stochastic Neural Simulation Relations for Control Transfer

Alireza Nadali, Ashutosh Trivedi, Majid Zamani; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:597-620

[abs][Download PDF]

Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential Equations

Chandra Kanth Nagesh, Sriram Sankaranarayanan, Ramneet Kaur, Tuhin Sahai, Susmit Jha; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:621-642

[abs][Download PDF]

Bidirectional End-to-End Framework for Transfer from Abstract Models in Non-Markovian Reinforcement Learning

Mahyar Alinejad, Precious Nwaorgu, Chinwendu Enyioha, Yue Wang, Alvaro Velasquez, George Atia; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:643-660

[abs][Download PDF]

Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning

Beyazit Yalcinkaya, Niklas Lauffer, Marcell Vazquez-Chanlatte, Sanjit A. Seshia; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:661-675

[abs][Download PDF]

A Challenge to Build Neuro-Symbolic Video Agents

Sahil Shah, Harsh Goel, Sai Shankar Narasimhan, Minkyu Choi, S P Sharan, Oguzhan Akcin, Sandeep Chinchali; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:676-692

[abs][Download PDF]

PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis

Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:693-707

[abs][Download PDF]

A Tutorial on Neural Network-Based Solvers for Hyperbolic Conservation Laws: Supervised vs. Unsupervised Learning, and Applications to Traffic Modeling

Alexi Canesse, Zhe Fu, Nathan Lichtlé, Hossein Nick Zinat Matin, Zihe Liu, Maria Laura Delle Monache, Alexandre M. Bayen; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:708-720

[abs][Download PDF]

Modularity in Query-Based Concept Learning

Benjamin Caulfield, Sanjit A. Seshia; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:721-744

[abs][Download PDF]

Observability of Latent States in Generative AI Models

Tian Yu Liu, Stefano Soatto, Matteo Marchi, Pratik Chaudhari, Paulo Tabuada; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:745-764

[abs][Download PDF]

Automaton-Based Representations of Task Knowledge from Generative Language Models

Yunhao Yang, Cyrus Neary, Ufuk Topcu; Proceedings of the International Conference on Neuro-symbolic Systems, PMLR 288:765-783

[abs][Download PDF]