The team's automated reasoning research aims to build algorithms that allow computers to perform logical reasoning. The output of these algorithms is traditionally binary: satisfiable or unsatisfiable ...

Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into formats machines can verify using tools such as Lean and Coq.

Faculty members in the department are actively engaged in research in the areas listed below. There are many opportunities for both undergraduate and graduate students to participate in these ...

The Picker Interdisciplinary Science Institute (Picker ISI) has announced this year’s awards supporting interdisciplinary research, training, and student-centered scholarship at Colgate. The funded ...

On Feb. 20, the Center for Human-Computer Interaction + Design convened an interdisciplinary group to discuss the validity and trustworthiness of social and behavioral data simulated by large language ...

What are some underdeveloped areas in computer science research right now (2018)? originally appeared on Quora: the place to gain and share knowledge, empowering people to learn from others and better ...

Transformational technologies like artificial intelligence and machine learning profoundly impact the legal landscape, both in terms of how computation is changing legal systems and law practice and ...