Formal Verification Comparison Hub
3 papers - avg viability 5.3
Top Papers
- LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning(7.0)
LTLGuard uses language models and formal consistency checking to generate conflict-free LTL specifications from informal requirements, enabling resource-efficient formal verification.
- SorryDB: Can AI Provers Complete Real-World Lean Theorems?(6.0)
Develop dynamic AI-based tools tailored for real-world Lean theorem proving, leveraging an ever-updating SorryDB benchmark.
- PBLean: Pseudo-Boolean Proof Certificates for Lean 4(3.0)
PBLean provides a method for importing pseudo-Boolean proof certificates into Lean 4, enhancing formal verification processes.