Quinn Dougherty
2 indexed papers
Recent (6 mo)
2With code
0Influential cites
0Benchmarked
0Publications per year
226
Top categories
Software Eng.×2AI×2
Frequent co-authors
Research Timeline
2026
FVSpec: Real-World Property-Based Tests as Lean Challenges
The paper introduces FVSpec, a large-scale benchmark that translates thousands of real-world Python property-based tests into formal Lean 4 specifications to evaluate AI models for formal software verification.
FVSpec: Real-World Property-Based Tests as Lean Challenges
The paper introduces FVSpec, a large-scale benchmark that translates thousands of real-world Python property-based tests into formal Lean 4 specifications to evaluate AI models for formal software verification.
Highlighted terms show continued research focus across papers
Papers
cs.SEcs.AIRecentMay 31, 2026
FVSpec: Real-World Property-Based Tests as Lean Challenges
The paper introduces FVSpec, a large-scale benchmark that translates thousands of real-world Python property-based tests into formal Lean 4 specifications to evaluate AI models for formal software ver…
View →
cs.SEcs.AIRecentMay 31, 2026