Murphy, Logan

1. A Survey on Deep Learning for Theorem Proving
   2024/04/15 by Zhaoyu Li, Li, Zhaoyu, Jialiang Sun +13 · 19 citations
   Computer Science · #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Semantic Web and Ontologies
2. Autoformalizing Euclidean Geometry
   2024/05/27 by Logan Murphy, Murphy, Logan, Kaiyu Yang +9 · 6 citations
   Engineering · #Advanced Numerical Analysis Techniques #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Manufacturing Process and Optimization #Robotic Mechanisms and Dynamics