AI & ML interests

formal verification, automated theorem proving, Isabelle

models

None public yet