Proposes a federated architecture for polyglot formal verification with cross-backend citations and AI dispatch, claiming to reduce a 26-axiom Raft system to zero axioms in 17 hours on a trading platform.
Reducing Liveness to Safety in First-Order Logic
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Federated Formal Verification: Cross-Backend Citation, Cross-Axis Convergence, and AI-Orchestrated Proof Dispatch for Production Systems
Proposes a federated architecture for polyglot formal verification with cross-backend citations and AI dispatch, claiming to reduce a 26-axiom Raft system to zero axioms in 17 hours on a trading platform.