Pierre Falda

Identifiers

• name variant Pierre Falda 0.60 · backfill

Papers (1)

1. Federated Formal Verification: Cross-Backend Citation, Cross-Axis Convergence, and AI-Orchestrated Proof Dispatch for Production Systems cs.LO · 2026 · author #1

Mentions

• 2606.02019 #1 · arxiv_oai · confidence 0.70 Pierre Falda