Clarkson University
Spring 2025 David A. Walsh‘67
Arts & Sciences Seminar Series
Friday, March 14 at 12pm
Room: Snell 213
The Role of Automated Reasoning in AI
When most people think of Artificial Intelligence (AI), they think of machine learning: models trained on enormous quantities of data, such as neural networks and large language models (LLMs) like ChatGPT. But intelligence is more than just pattern recognition; it also involves reasoning, logic, and problem-solving. While some reasoning capabilities have partially emerged from the largest models, they remain far from perfect. However, automated reasoning, a branch of computer science focused on formal logic and symbolic computation, offers another approach. By integrating automated reasoning into AI systems, we can build more reliable and intelligent models. This talk will explore how automated reasoning is being used alongside machine learning in fields like mathematics, software verification, and even biology and medical sciences.
Stephen Miner, Department of Computer Science, Yale University
Stephen Miner is a PhD student in Computer Science at Yale University, advised by Ruzica Piskac. He earned his bachelor’s degree in Computer Science here at Clarkson University in Spring 2023. His current research focuses on the intersection of automated reasoning and biology, specifically applying SMT solvers to reasoning about biomedical knowledge graphs. More broadly, his interests span automated reasoning, artificial intelligence, and bioinformatics. Stephen has published research in these areas and is interested in how automated reasoning/formal methods can enhance AI systems’ reliability and reasoning capabilities, especially in scientific domains.
The Arts & Sciences Seminar Series is a weekly colloquium series that has been supported by the School of Arts & Sciences Advisory Council at Clarkson University especially through generous gifts from David A. Walsh ‘67.
SA&S 300: Arts and Sciences Seminar is a one credit course intended to foster an
interdisciplinary outlook in undergraduates majoring in the School of Arts and Sciences