I’m a University of Chicago computer science and linguistics graduate. Currently, I’m focusing on proof automation in industrial applications, exploiting the power of LLMs.