Project Search Options
Enter one or more search options below then click the Search button.
Click on a project's title to view more details.
Venkatesan Guruswami - Professor, Electrical Engineering and Computer Science
Status: Current Term Now Closed Weekly Hours: to be negotiated Location: On Campus
Computer-assisted and automated theorem proving has been a longstanding goal of artificial intelligence and has gained increasing importance in recent years. Despite notable advancements, such as AlphaProof from Google DeepMind, which achieves silver-medal standard in solving International Mathematical Olympiad problems, challenges persist in obtaining machine-verifiable theorems and...
Mathematical and Physical Sciences