惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

K
Kaspersky official blog
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
CTFtime.org: upcoming CTF events
CTFtime.org: upcoming CTF events
V
Visual Studio Blog
F
Full Disclosure
B
Blog
C
CXSECURITY Database RSS Feed - CXSecurity.com
L
Lohrmann on Cybersecurity
月光博客
月光博客
I
Intezer
博客园 - 三生石上(FineUI控件)
Hacker News - Newest:
Hacker News - Newest: "LLM"
D
Darknet – Hacking Tools, Hacker News & Cyber Security
博客园_首页
P
Proofpoint News Feed
C
Check Point Blog
N
News | PayPal Newsroom
H
Heimdal Security Blog
Recent Commits to openclaw:main
Recent Commits to openclaw:main
Exploit-DB.com RSS Feed
Exploit-DB.com RSS Feed
G
GRAHAM CLULEY
WordPress大学
WordPress大学
C
CERT Recently Published Vulnerability Notes
Y
Y Combinator Blog
Recorded Future
Recorded Future
Application and Cybersecurity Blog
Application and Cybersecurity Blog
T
Tailwind CSS Blog
W
WeLiveSecurity
L
LINUX DO - 热门话题
Microsoft Azure Blog
Microsoft Azure Blog
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
Schneier on Security
Schneier on Security
爱范儿
爱范儿
Martin Fowler
Martin Fowler
U
Unit 42
T
Troy Hunt's Blog
S
Securelist
V
V2EX
V2EX - 技术
V2EX - 技术
MongoDB | Blog
MongoDB | Blog
K
KPMG report finds enterprise disconnect between AI and its ROI | CIO
博客园 - 聂微东
人人都是产品经理
人人都是产品经理
M
MIT News - Artificial intelligence
T
Tor Project blog
Cisco Talos Blog
Cisco Talos Blog
罗磊的独立博客
小众软件
小众软件
阮一峰的网络日志
阮一峰的网络日志
Vercel News
Vercel News

Proceedings of Machine Learning Research

Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research Proceedings of Machine Learning Research
Proceedings of Machine Learning Research
PMLR · 2026-05-29 · via Proceedings of Machine Learning Research

[edit]

Volume 288: International Conference on Neuro-symbolic Systems, 28-30 May 2025, University of Pennsylvania, Philadelphia, Pennsylvania, USA

[edit]

Editors: George Pappas, Pradeep Ravikumar, Sanjit A. Seshia

[bib][citeproc]

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]