NeuS - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 41 from 41

2025

Interpretable Imitation Learning via Generative Adversarial STL Inference and ControlWenliang Liu 0001, Danyang Li, Erfan Aasi, Daniela Rus, Roberto Tron, Calin Belta. neus 2025: 472-489 [doi]

Knowledge-Enriched Machine Learning for Tabular DataJuyong Kim 0002, Chandler Squires, Pradeep Ravikumar. neus 2025: 260-292 [doi]

Lean Copilot: Large Language Models as Copilots for Theorem Proving in LeanPeiyang Song 0002, Kaiyu Yang, Anima Anandkumar. neus 2025: 144-169 [doi]

Bidirectional End-to-End Framework for Transfer from Abstract Models in Non-Markovian Reinforcement LearningMahyar Alinejad, Precious Nwaorgu, Chinwendu Enyioha, Yue Wang 0068, Alvaro Velasquez, George Atia. neus 2025: 643-660 [doi]

Mining Causal Signal Temporal Logic Formulas for Efficient Reinforcement Learning with Temporally Extended TasksHadi Partovi Aria, Zhe Xu 0005. neus 2025: 524-542 [doi]

Neuro-Symbolic Discovery of Markov Population ProcessesLuca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov. neus 2025: 396-408 [doi]

A Tutorial on Neural Network-Based Solvers for Hyperbolic Conservation Laws: Supervised vs. Unsupervised Learning, and Applications to Traffic ModelingAlexi Canesse, Zhe Fu, Nathan Lichtlé, Hossein Nick Zinat Matin, Zihe Liu, Maria Laura Delle Monache, Alexandre M. Bayen. neus 2025: 708-720 [doi]

Modularity in Query-Based Concept LearningBenjamin Caulfield, Sanjit A. Seshia. neus 2025: 721-744 [doi]

KGAccel: A Domain-Specific Reconfigurable Accelerator for Knowledge Graph ReasoningHanning Chen, Ali Zakeri, Yang Ni 0001, Fei Wen, Behnam Khaleghi, Hugo Latapie, Alvaro Velasquez, Mohsen Imani. neus 2025: 424-445 [doi]

Neuro-Symbolic Generative Diffusion Models for Physically Grounded, Robust, and Safe GenerationJacob K. Christopher, Michael Cardei, Jinhao Liang, Ferdinando Fioretto. neus 2025: 188-213 [doi]

Formal Synthesis of Lyapunov Stability Certificates for Linear Switched Systems using ReLU Neural NetworksVirginie Debauche, Alec Edwards, Raphaël M. Jungers, Alessandro Abate. neus 2025: 352-364 [doi]

Learning Minimal Neural SpecificationsChuqin Geng, Zhaoyue Wang, Haolin Ye, Xujie Si. neus 2025: 1-21 [doi]

End-to-End Navigation with Vision-Language Models: Transforming Spatial Reasoning into Question-AnsweringDylan Goetting, Himanshu Gaurav Singh, Antonio Loquercio. neus 2025: 22-35 [doi]

Assured Autonomy with Neuro-Symbolic PerceptionR. Spencer Hallyburton, Miroslav Pajic. neus 2025: 505-523 [doi]

PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component AnalysisNavid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh. neus 2025: 693-707 [doi]

Differentiable Synthesis of Behavior Tree Architectures and Execution NodesYu Huang, Ziji Wu, Kexin Ma, Ji Wang. neus 2025: 231-259 [doi]

Specification-Guided Reinforcement LearningKishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur. neus 2025: 316-330 [doi]

Logic Gate Neural Networks are Good for VerificationFabian Kresse, Emily Yu, Christoph H. Lampert, Thomas A. Henzinger. neus 2025: 90-103 [doi]

From Road to Code: Neuro-Symbolic Program Synthesis for Autonomous Driving Scene Translation and AnalysisJohnathan Chi-Ho Leung, Guansen Tong, Parasara Sridhar Duggirala, Praneeth Chakravarthula. neus 2025: 331-351 [doi]

Observability of Latent States in Generative AI ModelsTian-Yu Liu, Stefano Soatto, Matteo Marchi, Pratik Chaudhari, Paulo Tabuada. neus 2025: 745-764 [doi]

Efficient Neuro-Symbolic Policy using In-Memory ComputingTergel Molom-Ochir, Naman Saxena, Jiwoo Kim, Yiran Chen 0001, Zhangyang (Atlas) Wang, Miroslav Pajic, Hai (Helen) Li. neus 2025: 384-395 [doi]

ChatHTN: Interleaving Approximate (LLM) and Symbolic HTN PlanningHéctor Muñoz-Avila, David W. Aha, Paola Rizzo. neus 2025: 446-458 [doi]

Stochastic Neural Simulation Relations for Control TransferAlireza Nadali, Ashutosh Trivedi 0001, Majid Zamani 0001. neus 2025: 597-620 [doi]

Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential EquationsChandra Kanth Nagesh, Sriram Sankaranarayanan 0001, Ramneet Kaur, Tuhin Sahai, Susmit Jha. neus 2025: 621-642 [doi]

Expansion Span: Combining Fading Memory and Retrieval in Hybrid State Space ModelsElvis Nunez, Luca Zancato, Benjamin Bowman, Aditya Golatkar, Wei Xia, Stefano Soatto. neus 2025: 570-596 [doi]

International Conference on Neuro-symbolic Systems, 28-30 May 2025, University of Pennsylvania, Philadelphia, Pennsylvania, USAGeorge Pappas, Pradeep Ravikumar, Sanjit A. Seshia, editors, Volume 288 of Proceedings of Machine Learning Research, PMLR, 2025. [doi]

Four Principles for Physically Interpretable World ModelsJordan Peper, Zhenjiang Mao, Yuang Geng, Siyuan Pan, Ivan Ruchkin. neus 2025: 66-89 [doi]

A Study of Modus Ponens in Transformer ModelsPaulo Pirozelli, Fábio G. Cozman. neus 2025: 293-315 [doi]

Real-Time Reachability for Neurosymbolic Reinforcement Learning-based Safe Autonomous NavigationNicholas Potteiger, Diego Manzanas Lopez, Taylor T. Johnson, Xenofon D. Koutsoukos. neus 2025: 104-126 [doi]

Neurosymbolic Finite and Pushdown Automata: Improved Multimodal Reasoning versus Vision Language Models (VLMs)Samuel Sasaki, Diego Manzanas Lopez, Taylor T. Johnson. neus 2025: 170-187 [doi]

Neuro-Symbolic Behavior Trees (NSBTs) and Their VerificationSerena Serafina Serbinowska, Diego Manzanas Lopez, Dung Thuy Nguyen, Taylor T. Johnson. neus 2025: 409-423 [doi]

A Challenge to Build Neuro-Symbolic Video AgentsSahil Shah, Harsh Goel, Sai Shankar Narasimhan, Minkyu Choi 0001, S. P. Sharan, Oguzhan Akcin, Sandeep Chinchali. neus 2025: 676-692 [doi]

Learning Formal Specifications from Membership and Preference QueriesAmeesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia. neus 2025: 365-383 [doi]

L*LM: Learning Automata from Demonstrations, Examples, and Natural LanguageMarcell Vazquez-Chanlatte, Karim Elmaaroufi, Stefan Witwicki, Matei Zaharia, Sanjit A. Seshia. neus 2025: 543-569 [doi]

State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous SystemsThomas Waite, Yuang Geng, Trevor Turnquist, Ivan Ruchkin, Radoslav Ivanov. neus 2025: 127-143 [doi]

Efficient Processing of Neuro-Symbolic AI: A Tutorial and Cross-Layer Co-Design Case StudyZishen Wan, Che-Kai Liu, Hanchen Yang, Ritik Raj, Arijit Raychowdhury, Tushar Krishna. neus 2025: 490-504 [doi]

Why Neural Networks Can Discover Symbolic Structures with Gradient-based Training: An Algebraic and Geometric Foundation for Neurosymbolic ReasoningPeihao Wang, Zhangyang (Atlas) Wang. neus 2025: 36-65 [doi]

Taxonomic Networks: A Representation for Neuro-Symbolic PairingZekun Wang, Ethan L. Haarer, Nicki Barari, Christopher J. MacLellan. neus 2025: 459-471 [doi]

Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement LearningBeyazit Yalcinkaya, Niklas Lauffer, Marcell Vazquez-Chanlatte, Sanjit A. Seshia. neus 2025: 661-675 [doi]

Automaton-Based Representations of Task Knowledge from Generative Language ModelsYunhao Yang, Cyrus Neary, Ufuk Topcu. neus 2025: 765-783 [doi]

Learning Subject to Constraints via Abstract Gradient DescentShiwen Yu, Wanwei Liu, Zengyu Liu, Liqian Chen, Ting Wang 0009, Naijun Zhan, Ji Wang 0001. neus 2025: 214-230 [doi]

Sign in or sign up to see more results.

runs on WebDSL