Copertina

Formal Verification of Neural Certificates Done Dynamically

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Henzinger, Thomas A., Kueffner, Konstantin, Yu, Emily
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Symbolic Computation Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
di: Curaba, Cristian, et al.
Pubblicazione: (2024)

The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
di: Mishra, Suyash
Pubblicazione: (2026)

NOMTO: Neural Operator-based symbolic Model approximaTion and discOvery
di: Garmaev, Sergei, et al.
Pubblicazione: (2025)

VeriFlow: Modeling Distributions for Neural Network Verification
di: Zaid, Faried Abu, et al.
Pubblicazione: (2024)

Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning
di: Hao, Yilun, et al.
Pubblicazione: (2025)

ONSEP: A Novel Online Neural-Symbolic Framework for Event Prediction Based on Large Language Model
di: Yu, Xuanqing, et al.
Pubblicazione: (2024)

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
di: Urban, Josef
Pubblicazione: (2026)

DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems
di: Zhang, Meiru, et al.
Pubblicazione: (2025)

Neural Concept Binder
di: Stammer, Wolfgang, et al.
Pubblicazione: (2024)

Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks
di: Ludäscher, Bertram, et al.
Pubblicazione: (2025)

NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework
di: Deng, Zihao, et al.
Pubblicazione: (2025)

VITA: Versatile Time Representation Learning for Temporal Hyper-Relational Knowledge Graphs
di: Un, ChongIn, et al.
Pubblicazione: (2025)

On Explaining Proxy Discrimination and Unfairness in Individual Decisions Made by AI Systems
di: Sonna, Belona, et al.
Pubblicazione: (2025)

To Be or Not To Be: Vector ontologies as a truly formal ontological framework
di: Rothenfusser, Kaspar
Pubblicazione: (2025)

Probabilistic Active Goal Recognition
di: Zhang, Chenyuan, et al.
Pubblicazione: (2025)

Two Constraint Compilation Methods for Lifted Planning
di: Mantenoglou, Periklis, et al.
Pubblicazione: (2025)

A Probabilistic Framework for Hierarchical Goal Recognition
di: Zhang, Chenyuan, et al.
Pubblicazione: (2026)

ABD: Default Exception Abduction in Finite First Order Worlds
di: Batzoglou, Serafim
Pubblicazione: (2026)

Simulating Petri nets with Boolean Matrix Logic Programming
di: Ai, Lun, et al.
Pubblicazione: (2024)

Synthesizing Evolving Symbolic Representations for Autonomous Systems
di: Sartor, Gabriele, et al.
Pubblicazione: (2024)

A Qualitative Model to Reason about Object Rotations (QOR) applied to solve the Cube Comparison Test (CCT)
di: Falomir, Zoe
Pubblicazione: (2026)

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
di: Xu, Weidi, et al.
Pubblicazione: (2023)

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
di: Bednarek, Jakub, et al.
Pubblicazione: (2024)

Breaking the Simplification Bottleneck in Amortized Neural Symbolic Regression
di: Saegert, Paul, et al.
Pubblicazione: (2026)

Improving Neural-based Classification with Logical Background Knowledge
di: Ledaguenel, Arthur, et al.
Pubblicazione: (2024)

The Neural Compiler: Program-to-Network Translation for Hybrid Scientific Machine Learning
di: Sheneman, Lucas
Pubblicazione: (2026)

Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery
di: Feng, Jie, et al.
Pubblicazione: (2024)

KERAIA: An Adaptive and Explainable Framework for Dynamic Knowledge Representation and Reasoning
di: Varey, Stephen Richard, et al.
Pubblicazione: (2025)

Yin-Yang: Developing Motifs With Long-Term Structure And Controllability
di: Bhandari, Keshav, et al.
Pubblicazione: (2025)

Learning Interpretable Network Dynamics via Universal Neural Symbolic Regression
di: Hu, Jiao, et al.
Pubblicazione: (2024)

From Understanding the World to Intervening in It: A Unified Multi-Scale Framework for Embodied Cognition
di: Wang, Maijunxian
Pubblicazione: (2025)

Incorporating Structure and Chord Constraints in Symbolic Transformer-based Melodic Harmonization
di: Kaliakatsos-Papakostas, Maximos, et al.
Pubblicazione: (2025)

Physics-constrained symbolic regression for discovering closed-form equations of multimodal water retention curves from experimental data
di: Kim, Yejin, et al.
Pubblicazione: (2026)

Scene-Driven Multimodal Knowledge Graph Construction for Embodied AI
di: Yaoxian, Song, et al.
Pubblicazione: (2023)

CASPER: Cognitive Architecture for Social Perception and Engagement in Robots
di: Vinanzi, Samuele, et al.
Pubblicazione: (2022)

Formal Verification of Parameterized Systems based on Induction
di: Xiu, Jiaqi, et al.
Pubblicazione: (2025)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
di: Defresne, Marianne, et al.
Pubblicazione: (2025)

A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI
di: Bizzarri, Alice, et al.
Pubblicazione: (2024)

Recycling Algebraic Proof Certificates
di: Kaufmann, Daniela, et al.
Pubblicazione: (2025)

A Theoretical Review on Solving Algebra Problems
di: Yu, Xinguo, et al.
Pubblicazione: (2024)