Katherine Wu

I'm a first-year PhD student in Computer Science at Cornell University. I am broadly interested in probabilistic inference and formal methods for AI safety.

Previously, I graduated from Stony Brook University with a BS in computer science (with honors) and a BS in mathematics. I am fortunate to have worked on several research projects while there: with Jeff Heinz on grammar induction, with Erez Zadok on formal semantics for serverless computing, and with Annie Liu on question answering with logic programming.

Email  /  CV  /  Scholar  /  Github

Publications

We propose a logic system called LP-LM that retrieves verifiable answers from a given knowledge base, demonstrating better accuracy than classic language models on various question answering prompts.

We examine the conditions in which string extension learning algorithms are able to identify classes of formal languages in the limit from noisy data presentations in polynomial time.