


















[edit]
[edit]
Editors: George Pappas, Pradeep Ravikumar, Sanjit A. Seshia
Filter Authors: Filter Titles:
Learning Minimal Neural Specifications
; 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]
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。