Nadia Polikarpova

Exploring methods to enhance coding task performance in language models using data.

A tool that leverages AI to generate helper assertions for Dafny code verification.

New methods enhance language model outputs while maintaining grammar rules.