Image de couverture de livre

Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Daggitt, Matthew L., Komendantskaya, Ekaterina, Sirman, Alistair, Bruni, Alessandro, Teuber, Samuel, Smart, Josh, Passmore, Grant
Format:	Preprint
Publié:	2026
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Towards a Certified Proof Checker for Deep Neural Network Verification
par: Desmartin, Remi, et autres
Publié: (2023)

A Certified Proof Checker for Deep Neural Network Verification in Imandra
par: Desmartin, Remi, et autres
Publié: (2024)

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
par: Daggitt, Matthew L., et autres
Publié: (2024)

NLP Verification: Towards a General Methodology for Certifying Robustness
par: Casadio, Marco, et autres
Publié: (2024)

Neural Network Verification is a Programming Language Challenge
par: Cordeiro, Lucas C., et autres
Publié: (2025)

Proof-Carrying Neuro-Symbolic Code
par: Komendantskaya, Ekaterina
Publié: (2025)

A Foundation for Differentiable Logics using Dependent Type Theory
par: Affeldt, Reynald, et autres
Publié: (2026)

Taming Differentiable Logics with Coq Formalisation
par: Affeldt, Reynald, et autres
Publié: (2024)

Verification of Autonomous Neural Car Control with KeYmaera X
par: Prebet, Enguerrand, et autres
Publié: (2025)

Neural Network Verification for Gliding Drone Control: A Case Study
par: Kessler, Colin, et autres
Publié: (2025)

VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification
par: Roy, Ann, et autres
Publié: (2026)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
par: Flinkow, Thomas, et autres
Publié: (2026)

Next Steps in LLM-Supported Java Verification
par: Teuber, Samuel, et autres
Publié: (2025)

Revisiting Differential Verification: Equivalence Verification with Confidence
par: Teuber, Samuel, et autres
Publié: (2024)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
par: Vin, Eric, et autres
Publié: (2025)

A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks
par: Padalkar, Parth, et autres
Publié: (2024)

Compiling High-Level Neural Network Specifications into VNN-LIB Queries
par: Daggitt, Matthew L., et autres
Publié: (2024)

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
par: Zhang, Manqing, et autres
Publié: (2026)

PhysProver: Advancing Automatic Theorem Proving for Physics
par: Zhang, Hanning, et autres
Publié: (2026)

Proof Recommendation System for the HOL4 Theorem Prover
par: Dekhil, Nour, et autres
Publié: (2024)

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
par: Tsoukalas, George, et autres
Publié: (2024)

Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover
par: Fang, Jian, et autres
Publié: (2026)

Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought
par: Xie, Zichen, et autres
Publié: (2026)

Multi-Prover Interactive Proof Systems with Leakage
par: Asadi, Vahid R., et autres
Publié: (2026)

Provably Safe Neural Network Controllers via Differential Dynamic Logic
par: Teuber, Samuel, et autres
Publié: (2024)

Vibe Coding an LLM-powered Theorem Prover
par: Hou, Zhe
Publié: (2026)

Theorem Provers: One Size Fits All?
par: Oates, Harrison, et autres
Publié: (2025)

Teaching "Foundations of Mathematics" with the Lean Theorem Prover
par: Bottoni, Mattia Luciano, et autres
Publié: (2025)

Quantitative Linear Logic
par: Capucci, Matteo, et autres
Publié: (2026)

Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification
par: Gupta, Arkaprava, et autres
Publié: (2024)

An Information-Flow Perspective on Algorithmic Fairness
par: Teuber, Samuel, et autres
Publié: (2023)

Proving Properties of $φ$-Representations with the Walnut Theorem-Prover
par: Shallit, Jeffrey
Publié: (2023)

Theorem Prover as a Judge for Synthetic Data Generation
par: Leang, Joshua Ong Jun, et autres
Publié: (2025)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
par: Wu, Haoze, et autres
Publié: (2024)

Lecciones grabadas en vídeo-conferencia: valoración de un programa de Formación del Profesorado
par: Graham Passmore
Publié: (2007)

Biased by Design? Case Managers' Multidimensional Preferences Toward the Design of Algorithmic Decision Support Systems
par: Martin Dietz, et autres
Publié: (2026)

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
par: Chen, Luoxin, et autres
Publié: (2025)

Formalizing Automated Market Makers in the Lean 4 Theorem Prover
par: Pusceddu, Daniele, et autres
Publié: (2024)

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
par: Li, Guchan, et autres
Publié: (2026)

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
par: Munive, Jonathan Julián Huerta y, et autres
Publié: (2024)