John Hester

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 3

Top Topics

Quantifier Elimination

Parallel Search

Variable Ordering

Theorem Proving

Top Venues

Publications

John Hester, Briland Hitaj, Grant Passmore, Sam Owre, Natarajan Shankar, Eric Yeh
Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning. CoRR (2023)
John Hester, Briland Hitaj, Grant O. Passmore, Sam Owre, Natarajan Shankar, Eric Yeh
An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning. CICM (2023)
John Hester
Automated ZFC Theorem Proving with E. CoRR (2019)