John Hester

According to our database, John Hester authored at least 4 papers between 2019 and 2024.

Collaborative distances:

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

2024

Towards the Formal Verification of SysML v2 Models.

Vince Molnár, Bence Graics, András Vörös, Stefano Tonetta, Luca Cristoforetti, Greg Kimberly, Pamela Dyer, Kristin Giammarco, Manfred Köthe, John Hester, Jamie Smith, Christoph Grimm

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

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