Get started
Author

Elizaveta Pertseva

Observed names: Pertseva, Elisaveta, Pertseva, Elizaveta
Institution: Stanford University
ORCID: 0000-0001-9950-672X
Observed ORCID: 0000-0001-9950-672X
OpenAlex ID: A5013549442
Analysis of Machine Learning Methods for Wildfire Security Monitoring with an Unmanned Aerial Vehicles
2019 · Dmitriy Alexandrov, Elizaveta Pertseva, et al. · Conference of Open Innovations Association (FRUCT) · 49
Fine-tuned LLMs Know More, Hallucinate Less with Few-Shot Sequence-to-Sequence Semantic Parsing over Wikidata
2023 · Silei Xu, Shicheng Liu, et al. · Conference on Empirical Methods in Natural Language Processing (EMNLP) · 12
PDF
A Theory of Scientific Programming Efficacy
2024 · Elizaveta Pertseva, Melinda Chang, et al. · IEEE/ACM International Conference on Software Engineering (ICSE) · 6
PDF
Integer Reasoning Modulo Different Constants in SMT
2025 · Elizaveta Pertseva, Alex Ozdemir, et al. · Lecture notes in computer science · 1
PDF
A Theory of Scientific Programming Efficacy Artifact
2024 · Pertseva, Elizaveta, Chang, Melinda, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
Contrastive Attention Networks for Attribution of Early Modern Print
2023 · Nikolai Vogler, Kartik Goyal, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 1
PDF
Proof Production for Satisfiability Modulo Finite Fields with Proof Checking in Pacheck and Lean
2026 · Saccomani, Pedro, Mohamed, Abdalrhman, et al. · reposiTUm (TU Wien)
Automating Bitvector and Finite Field Equivalence Proofs in Lean
2026 · Pertseva, Elizaveta, Robert, Valentin, et al. · arXiv (Cornell University)
Automating Bitvector and Finite Field Equivalence Proofs in Lean
2026 · Pertseva, Elizaveta, Robert, Valentin, et al. · arXiv (Cornell University)
PDF
Artifact #42 FMCAD26 - Proof Production for Satisfiability Modulo Finite Fields with Proof Checking in Pacheck and Lean
2026 · Pedro, Saccomani, Mohamed, Abdalrhman, et al. · Zenodo (CERN European Organization for Nuclear Research)
CAV'26 Artifact: Automating Bitvector and Finite Field Equivalence Proofs in Lean Artifact
2026 · Pertseva, Elizaveta · Zenodo (CERN European Organization for Nuclear Research)
CAV 2026 Automating Bitvector and Finite Field Equivalence Proofs in Lean CirC Benchmarks ( Lean + SMT)
2026 · Pertseva, Elizaveta · Zenodo (CERN European Organization for Nuclear Research)
Automating Bitvector and Finite Field Equivalence Proofs in Lean
2026 · Elizaveta Pertseva, Valentin Robert, et al. · Lecture notes in computer science
PDF
Works count: 16
Citation count: 71
H-index: 3
I10-index: 2
Year
Topic
Type