Max von Hippel
2 indexed papers
Recent (6 mo)
2With code
0Influential cites
0Benchmarked
0Publications per year
226
Top categories
Software Eng.×1AI×1Crypto×1Logic×1
Frequent co-authors
Research Timeline
2026
Automated Channel Fault Analysis with Tofu
The paper introduces Tofu, a generalizable tool that automatically performs rigorous channel fault analysis on distributed protocols, synthesizing attack traces or proving their absence for given LTL specifications.
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.CRcs.LORecentMay 3, 2026