Automated ZFC Theorem Proving with E. - John Hester (CoRR, 2019)

An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning. - John Hester; Briland Hitaj; Grant O. Passmore; Sam Owre; Natarajan Shankar; Eric Yeh (CICM, 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)

Towards the Formal Verification of SysML v2 Models. - Vince Molnár; Bence Graics; András Vörös 001; Stefano Tonetta; Luca Cristoforetti; Greg Kimberly; Pamela Dyer; Kristin Giammarco; Manfred Köthe; John Hester; Jamie Smith; Christoph Grimm 001 (MoDELS (Companion), 2024)