Aaron Hill

According to our database, Aaron Hill authored at least 6 papers between 2012 and 2026.

Collaborative distances:

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

2026

SorryDB: Can AI Provers Complete Real-World Lean Theorems?

Austin Letson, Leopoldo Sarra, Auguste Poiroux, Oliver Dressler, Paul Lezeau, Dhyan Aranha, Frederick Pu, Aaron Hill, Miguel Corredera Hidalgo, Julian Berman, George Tsoukalas, Lenny Taelman

CoRR, March, 2026

2025

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale.

Matthew Bolan, Joachim Breitner, Jose Brox, Nicholas Carlini, Mario Carneiro, Floris van Doorn, Martin Dvorak, Andrés Goens, Aaron Hill, Harald Husum, Hernán Ibarra Mejia, Zoltan A. Kocsis, Bruno Le Floch, Amir Livne Bar-on, Lorenzo Luccioli, Douglas McNeil, Alex Meiburg, Pietro Monticone, Pace P. Nielsen, Emmanuel Osalotioman Osazuwa, Giovanni Paolini, Marco Petracci, Bernhard Reinke, David Renshaw, Marcus Rossel, Cody Roux, Jérémy Scanvic, Shreyas Srinivas, Anand Rao Tadipatri, Terence Tao, Vlad Tsyrklevich, Fernando Vaquerizo-Villar, Daniel Weber, Fan Zheng

CoRR, December, 2025

2020

Applying Learning and Semantics for Personalized Food Recommendations.

Nidhi Rastogi, Oshani Seneviratne, Dan Gruen, Ching-Hua Chen, Yu Chen, Jon Harris, Diya Li, Ananya Subburathinam, Ruisi Jian, Megan Goulet, Yuheng Zhou, Osama Minhas, Jared Okun, Aaron Hill

Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), 2020

2017

Epigenetic Operators and the Evolution of Physically Embodied Robots.

Jake Brawer, Aaron Hill, Kenneth R. Livingston, Eric Aaron, Joshua Clifford Bongard, John H. Long Jr.

Frontiers Robotics AI, 2017

2012

The complexity of squares in the group of isometries of the Baire space.

Aaron Hill

J. Symb. Log., 2012

Four Constructions of Highly Symmetric Tetravalent Graphs.

Aaron Hill, Steve Wilson

J. Graph Theory, 2012