Elizaveta Pertseva

According to our database, Elizaveta Pertseva authored at least 6 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Automating Bitvector and Finite Field Equivalence Proofs in Lean.

Elizaveta Pertseva, Valentin Robert, Clark W. Barrett, James Parker

CoRR, May, 2026

2025

Integer Reasoning Modulo Different Constants in SMT.

Elizaveta Pertseva, Alex Ozdemir, Shankara Pailoor, Alp Bassa, Sorawee Porncharoenwase, Isil Dillig, Clark W. Barrett

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

A Theory of Scientific Programming Efficacy.

Elizaveta Pertseva, Melinda Chang, Ulia Zaman, Michael Coblenz

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Fine-tuned LLMs Know More, Hallucinate Less with Few-Shot Sequence-to-Sequence Semantic Parsing over Wikidata.

Silei Xu, Shicheng Liu, Theo Culhane, Elizaveta Pertseva, Meng-Hsi Wu, Sina J. Semnani, Monica S. Lam

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

Contrastive Attention Networks for Attribution of Early Modern Print.

Nikolai Vogler, Kartik Goyal, Kishore PV Reddy, Elizaveta Pertseva, Samuel V. Lemley, Christopher N. Warren, Max G'Sell, Taylor Berg-Kirkpatrick

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2019

Analysis of Machine Learning Methods for Wildfire Security Monitoring with an Unmanned Aerial Vehicles.

Dmitriy Alexandrov, Elizaveta Pertseva, Ivan Berman, Igor Pantiukhin, Aleksandr A. Kapitonov

Proceedings of the 24th Conference of Open Innovations Association, 2019