Ruzica Piskac, Professor of Computer Science, and Scott Shapiro, Charles F. Southmayd Professor of Law and Philosophy at Yale, co-founded Leibniz AI, a startup combining AI and formal methods to automate legal reasoning. Leibniz AI, named after the 17th century polymath who dreamed of an automated knowledge generator, demonstrates the cross-disciplinary nature of innovation at Yale, bringing together innovators from the Yale School of Engineering & Applied Science and the Yale Law School. Together, their work translates legal texts into a mathematical formalism called first-order logic, enabling accurate and explainable answers to legal questions. Piskac and Shapiro have received numerous recognitions for their work, including Amazon Research Awards and the National Science Foundation grant, and have received an award and support from the Roberts Innovation Fund.