Scholar
Michael Rawson
Google Scholar ID: veUl7JQAAAAJ
University of Southampton
automated reasoning
machine learning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
212
H-index
8
i10-index
8
Publications
20
Co-authors
0
Publications
8 items
Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study)
2026
Cited
0
Lean on Vampire Proofs (Short Paper)
2026
Cited
0
Finding Connections via Satisfiability Solving
2026
Cited
0
Constraint Learning for Non-confluent Proof Search
International Conference on Theorem Proving with Analytic Tableaux and Related Methods · 2026
Cited
1
When Agda met Vampire
2026
Cited
0
Case Study: Saturations as Explicit Models in Equational Theories
2026
Cited
0
The Vampire Diary
2025
Cited
0
Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
2025
Cited
0
