John Hester

According to our database, John Hester authored at least 3 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning.

John Hester, Briland Hitaj, Grant O. Passmore, Sam Owre, Natarajan Shankar, Eric Yeh

CoRR, 2023

An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning.

John Hester, Briland Hitaj, Grant O. Passmore, Sam Owre, Natarajan Shankar, Eric Yeh

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

2019

Automated ZFC Theorem Proving with E.

John Hester

CoRR, 2019