Elizaveta Pertseva
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Automating Bitvector and Finite Field Equivalence Proofs in Lean. | Elizaveta Pertseva, Valentin Robert, Clark W. Barrett, James Parker |
| 2025 | CAV | Integer Reasoning Modulo Different Constants in SMT. | Elizaveta Pertseva, Alex Ozdemir, Shankara Pailoor, Alp Bassa, Sorawee Porncharoenwase, Isil Dillig, Clark W. Barrett |
| 2024 | ICSE | A Theory of Scientific Programming Efficacy. | Elizaveta Pertseva, Melinda Chang, Ulia Zaman, Michael Coblenz |
| 2023 | AAAI | 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 |
| 2023 | EMNLP | 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 |
| 2019 | FRUCT | 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 |