Scholar

Michael Rawson

Google Scholar ID: veUl7JQAAAAJ

University of Southampton

automated reasoningmachine learning

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

212

H-index

8

i10-index

8

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

7 items

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

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)