Hello, I am Edward Ayers.
I am currently an ML consultant for Bloop.
- I have completed a PhD at the University of Cambridge in interactive theorem proving at DPMMS. Supervised by W.T. Gowers and Mateja Jamnik. The thesis can be found here.
- I worked as a post-doctoral researcher at Carnegie Mellon University at the Hoskinson Center for Formal Mathematics led by Jeremy Avigad.
- I was a research scientist at Five AI 2020-2022, working on verification for ML in computer vision. While there I contributed to a couple of research papers: PaRoT presented at NASA Formal Methods 2020. Query-based Hard-Image Retrieval for Object Detection at Test Time has been accepted to AAAI 2023.
- A human-oriented term rewriting system was published at KI 2019.
You can email me with
Social media accounts: GitHub, Goodreads, Lichess, Manifold, Twitter, LinkedIn. I make tracks.