Similar Items: MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries
- Stokes' Theorem for Smooth Singular Cubes in Lean 4: True Pullback, Bridges to mathlib4, and Chain-Level d^2=0
- Formal Verification of Imperative First-Class Functions in Move
- täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)
- MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents
- Verification of Neural Networks (Lecture Notes)
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic