Scholar
Conrad Watt
Google Scholar ID: SVU1RU8AAAAJ
Assistant Professor, Nanyang Technological University
Formal Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
629
H-index
14
i10-index
15
Publications
20
Co-authors
0
Publications
4 items
AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language
2026
Cited
0
Neural Theorem Proving for Verification Conditions: A Real-World Benchmark
2026
Cited
0
IsaMini: Redesigned Isabelle Proof Lanugage for Machine Learning
2025
Cited
0
Generically Automating Separation Logic by Functors, Homomorphisms, and Modules
Proc. ACM Program. Lang. · 2024
Cited
3
