Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Daggitt, Matthew L., Komendantskaya, Ekaterina, Sirman, Alistair, Bruni, Alessandro, Teuber, Samuel, Smart, Josh, Passmore, Grant
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Towards a Certified Proof Checker for Deep Neural Network Verification
di: Desmartin, Remi, et al.
Pubblicazione: (2023)

A Certified Proof Checker for Deep Neural Network Verification in Imandra
di: Desmartin, Remi, et al.
Pubblicazione: (2024)

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
di: Daggitt, Matthew L., et al.
Pubblicazione: (2024)

NLP Verification: Towards a General Methodology for Certifying Robustness
di: Casadio, Marco, et al.
Pubblicazione: (2024)

Neural Network Verification is a Programming Language Challenge
di: Cordeiro, Lucas C., et al.
Pubblicazione: (2025)

Proof-Carrying Neuro-Symbolic Code
di: Komendantskaya, Ekaterina
Pubblicazione: (2025)

A Foundation for Differentiable Logics using Dependent Type Theory
di: Affeldt, Reynald, et al.
Pubblicazione: (2026)

Taming Differentiable Logics with Coq Formalisation
di: Affeldt, Reynald, et al.
Pubblicazione: (2024)

Verification of Autonomous Neural Car Control with KeYmaera X
di: Prebet, Enguerrand, et al.
Pubblicazione: (2025)

Neural Network Verification for Gliding Drone Control: A Case Study
di: Kessler, Colin, et al.
Pubblicazione: (2025)

VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification
di: Roy, Ann, et al.
Pubblicazione: (2026)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
di: Flinkow, Thomas, et al.
Pubblicazione: (2026)

Next Steps in LLM-Supported Java Verification
di: Teuber, Samuel, et al.
Pubblicazione: (2025)

Revisiting Differential Verification: Equivalence Verification with Confidence
di: Teuber, Samuel, et al.
Pubblicazione: (2024)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
di: Vin, Eric, et al.
Pubblicazione: (2025)

A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks
di: Padalkar, Parth, et al.
Pubblicazione: (2024)

Compiling High-Level Neural Network Specifications into VNN-LIB Queries
di: Daggitt, Matthew L., et al.
Pubblicazione: (2024)

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
di: Zhang, Manqing, et al.
Pubblicazione: (2026)

PhysProver: Advancing Automatic Theorem Proving for Physics
di: Zhang, Hanning, et al.
Pubblicazione: (2026)

Proof Recommendation System for the HOL4 Theorem Prover
di: Dekhil, Nour, et al.
Pubblicazione: (2024)

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
di: Tsoukalas, George, et al.
Pubblicazione: (2024)

Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover
di: Fang, Jian, et al.
Pubblicazione: (2026)

Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought
di: Xie, Zichen, et al.
Pubblicazione: (2026)

Multi-Prover Interactive Proof Systems with Leakage
di: Asadi, Vahid R., et al.
Pubblicazione: (2026)

Provably Safe Neural Network Controllers via Differential Dynamic Logic
di: Teuber, Samuel, et al.
Pubblicazione: (2024)

Vibe Coding an LLM-powered Theorem Prover
di: Hou, Zhe
Pubblicazione: (2026)

Theorem Provers: One Size Fits All?
di: Oates, Harrison, et al.
Pubblicazione: (2025)

Teaching "Foundations of Mathematics" with the Lean Theorem Prover
di: Bottoni, Mattia Luciano, et al.
Pubblicazione: (2025)

Quantitative Linear Logic
di: Capucci, Matteo, et al.
Pubblicazione: (2026)

Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification
di: Gupta, Arkaprava, et al.
Pubblicazione: (2024)

An Information-Flow Perspective on Algorithmic Fairness
di: Teuber, Samuel, et al.
Pubblicazione: (2023)

Proving Properties of $φ$-Representations with the Walnut Theorem-Prover
di: Shallit, Jeffrey
Pubblicazione: (2023)

Theorem Prover as a Judge for Synthetic Data Generation
di: Leang, Joshua Ong Jun, et al.
Pubblicazione: (2025)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
di: Wu, Haoze, et al.
Pubblicazione: (2024)

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

Biased by Design? Case Managers' Multidimensional Preferences Toward the Design of Algorithmic Decision Support Systems
di: Martin Dietz, et al.
Pubblicazione: (2026)

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
di: Chen, Luoxin, et al.
Pubblicazione: (2025)

Formalizing Automated Market Makers in the Lean 4 Theorem Prover
di: Pusceddu, Daniele, et al.
Pubblicazione: (2024)

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
di: Li, Guchan, et al.
Pubblicazione: (2026)

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
di: Munive, Jonathan Julián Huerta y, et al.
Pubblicazione: (2024)