Cover Image

Automatic Verification of Floating-Point Accumulation Networks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, David K., Aiken, Alex
Format:	Preprint
Published:	2025
Subjects:	Numerical Analysis Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
by: Tao, Yichen, et al.
Published: (2026)

Time-Sensitive Importance Splitting
by: Dengler, Gabriel, et al.
Published: (2025)

Finite element method. Detailed proofs to be formalized in Coq
by: Clément, François, et al.
Published: (2024)

Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation
by: Dengler, Gabriel, et al.
Published: (2024)

Bean: A Language for Backward Error Analysis
by: Kellison, Ariel E., et al.
Published: (2025)

Shock with Confidence: Formal Proofs of Correctness for Hyperbolic Partial Differential Equation Solvers
by: Gorard, Jonathan, et al.
Published: (2025)

Numerical Considerations in Weighted Model Counting
by: Bryant, Randal E.
Published: (2025)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
by: Mohanty, Hansa, et al.
Published: (2025)

Formal Verification of COO to CSR Sparse Matrix Conversion (Invited Paper)
by: Appel, Andrew W.
Published: (2025)

parSAT: Parallel Solving of Floating-Point Satisfiability
by: Krahl, Markus, et al.
Published: (2025)

Verifying Floating-Point Programs in Stainless
by: Gilot, Andrea, et al.
Published: (2026)

A Program Instrumentation Framework for Automatic Verification
by: Amilon, Jesper, et al.
Published: (2024)

A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
by: Kohlen, Bram, et al.
Published: (2025)

Specification and Automatic Verification of Computational Reductions
by: Grange, Julien, et al.
Published: (2024)

Floating-Point Neural Networks Are Provably Robust Universal Approximators
by: Hwang, Geonho, et al.
Published: (2025)

Revealing Floating-Point Accumulation Orders in Software/Hardware Implementations
by: Xie, Peichen, et al.
Published: (2024)

Pseudo-Formalization for Automatic Proof Verification
by: Barkallah, Slim, et al.
Published: (2026)

Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function
by: Muller, Jean-Michel, et al.
Published: (2024)

Efficient Solving of Quantified Inequality Constraints over the Real Numbers
by: Ratschan, Stefan
Published: (2002)

Simple Classes of Automatic Structures
by: Blumensath, Achim
Published: (2025)

Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
by: Kura, Satoshi, et al.
Published: (2025)

Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
by: Waddoups, Nick, et al.
Published: (2025)

A Class of Analytic Solutions for Verification and Convergence Analysis of Linear and Nonlinear Fluid-Structure Interaction Algorithms
by: Hessenthaler, Andreas, et al.
Published: (2019)

Automatic Differentiation: Inverse Accumulation Mode
by: Pearlmutter, Barak A., et al.
Published: (2024)

Error Analysis of ZFP Compression for Floating-Point Data
by: Diffenderfer, James, et al.
Published: (2018)

One Form of Successive Approximation Method and Choice Problem
by: Bulitko, Valeriy K.
Published: (2000)

Fixed Point Theorems in Computability Theory
by: Terwijn, Sebastiaan A.
Published: (2024)

Tools at the Frontiers of Quantitative Verification
by: Andriushchenko, Roman, et al.
Published: (2024)

A tensor network formalism for neuro-symbolic AI
by: Goessmann, Alex, et al.
Published: (2026)

Hierarchical Tensor Network Structure Search for High-Dimensional Data
by: Guo, Zheng, et al.
Published: (2026)

Formalizing Schwartz functions and tempered distributions
by: Doll, Moritz
Published: (2025)

Performance and Numerical Aspects of Decompositional Factorizations with FP64 Floating-Point Emulation in INT8
by: Luszczek, Piotr, et al.
Published: (2025)

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification
by: Swisa, Maya, et al.
Published: (2025)

Adaptive Collocation Point Strategies For Physics Informed Neural Networks via the QR Discrete Empirical Interpolation Method
by: Celaya, Adrian, et al.
Published: (2025)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
by: Lyon, Tim S.
Published: (2024)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
by: Lichter, Moritz
Published: (2022)

Proof Minimization in Neural Network Verification
by: Isac, Omri, et al.
Published: (2025)

Hyperproperty Verification as CHC Satisfiability
by: Itzhaky, Shachar, et al.
Published: (2023)

Craig Interpolation in Program Verification
by: Rümmer, Philipp
Published: (2026)

Verification of Configurable SRA Systems
by: Cimatti, Alessandro, et al.
Published: (2026)