GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Formal Reasoning

Formal Reasoning

1 faculty research Formal Reasoning on GradNova.

P
Poesia, Gabriel

Visiting Assistant Professor, EECS- Computer Science and Engineering

Computer Science and Engineering

University of Michigan

Discovery Systems
Formal Reasoning
Large Language Models
Machine Learning
+3