Research Interests
My research interests lie in the intersection of Formal Methods(FM),
Cryptography, and Human-Computer Interaction (HCI).
By combining FM and HCI techniques, I aim to develop intuitive and accessible verification tools that maintain provable safety guarantees. I am currently working on cvc5, an automatic theorem prover for SMT problems.
Publications
- Elizaveta Pertseva, Melinda Chang, Ulia Zaman, Michael Coblenz. A Theory of Scientific Programming Efficacy. 46th International Conference on Software Engineering (ICSE), 2024 [pdf]
- Silei Xu, Shicheng Liu, Theo Culhane, Elizaveta Pertseva , Meng-Hsi Wu, Sina J. Semnani, Monica S. Lam. Fine-tuned LLMs Know More, Hallucinate Less with Few-Shot Sequence-to-Sequence Semantic Parsing over Wikidata. Conference on Empirical Methods in Natural Language Processing (EMNLP), 2023 [pdf]
- Ruanqianqian (Lisa) Huang, Elizaveta Pertseva, Michael Coblenz, and Sorin Lerner. How do haskell programmers debug? 13th annual workshop on the intersection of HCI and PL (PLATEAU), 2023 [pdf]
- Nikolai Vogler, Kartik Goyal, Kishore PV Reddy, Elizaveta Pertseva, Cristopher Warren, Max G’Sell, and Taylor Berg-Kirkpatrick. Contrastive attention networks for attribution of early modern print. 37th Association for the Advancement of Artificial Intelligence (AAAI), 2023 [pdf]
- Elizaveta Pertseva, Mark Barbone, Joey Rudek, and Nadia Polikarpova. Regex+: Synthesizing regular expressions from positive examples. 11TH Workshop on Synthesis (SYNT), 2022 [pdf]
News
- [August 2024] I presented a poster on our work "Multimodular Reasoning for Satisfiability Modulo Theories" at the CENTAUR Meeting 2024.
- [April 2024] I presented our paper "A Theory of Scientific Programming Efficacy" at ICSE 2024.
- [December 2023] I presented our paper "Fine-tuned LLMs Know More, Hallucinate Less with Few-Shot Sequence-to-Sequence Semantic Parsing over Wikidata" at EMNLP 2023.
- [May 2023] I will be joining Stanford this fall to pursue a Ph.D. in Computer Science!
- [Jan 2023] Regex+ follow up won first place at POPL 2023 SRC for the undergraduate division. [poster]
Teaching
Service
- ICSE Artifact Evaluator (2025)
- POPL Volunteer (2023)
- FLoC Volunteer (2022)
Contact
📧 pertseva[-at-] stanford [-dot-] edu
Follow @limpa105