Max von Hippel

Galois Inc

Papers on Lattice

Total citations

Topics

Research focus

Code Generation & Program Synthesis (1)Eval Frameworks & Benchmarks (1)

Frequent co-authors

Quinn Dougherty (1)Hazel Shackleton (1)Mike Dodds (1)

Papers (1)

May 31, 2026

Forall RMay 31, 2026·also Galois Inc

FVSpec: Real-World Property-Based Tests as Lean Challenges

Translating real-world property-based tests into Lean specifications reveals significant challenges and opens new avenues for AI-assisted formal verification of software.

Quinn Dougherty, Max von Hippel, Hazel Shackleton +1

Code Generation & Program Synthesis Eval Frameworks & Benchmarks

Max von Hippel

Research focus

Frequent co-authors

Papers (1)

Search

Max von Hippel

Research focus

Frequent co-authors

Papers (1)