John Hester

Identifiers

• name variant John Hester 0.60 · backfill

Papers (3)

1. Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning cs.FL · 2023 · author #1
2. Metaphysics in Mathematics math.HO · 2021 · author #1
3. Automated ZFC Theorem Proving with E cs.LO · 2019 · author #1

Mentions

• 2302.14038 #1 · arxiv_oai · confidence 0.70 John Hester
• 2103.10512 #1 · arxiv_oai · confidence 0.70 John Hester
• 1902.00818 #1 · arxiv_oai · confidence 0.70 John Hester

Frequent Coauthors

• Briland Hitaj 1 shared papers
• Eric Yeh 1 shared papers
• Grant Passmore 1 shared papers
• Natarajan Shankar 1 shared papers
• Sam Owre 1 shared papers