:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Daggitt, Matthew L., Komendantskaya, Ekaterina, Sirman, Alistair, Bruni, Alessandro, Teuber, Samuel, Smart, Josh, Passmore, Grant
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2605.02790
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

Proof-Carrying Neuro-Symbolic Code
by: Komendantskaya, Ekaterina
Published: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

Quantitative Linear Logic
by: Capucci, Matteo, et al.
Published: (2026)

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

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

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

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

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

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

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

Vibe Coding an LLM-powered Theorem Prover
by: Hou, Zhe
Published: (2026)

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

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

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

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

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

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

A General Framework for Property-Driven Machine Learning
by: Flinkow, Thomas, et al.
Published: (2025)

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

Managing Archaeological Landscapes in Northumberland
by: Passmore, D. G.
Published: (2020)

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

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