Get started
Author

Emily First

Observed names: First Emily, First, Emily
ORCID: 0000-0002-2896-2928
Observed ORCID: 0000-0002-2896-2928
OpenAlex ID: A5102852428
Baldur: Whole-Proof Generation and Repair with Large Language Models
2023 · Emily First, Markus N. Rabe, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 94
PDF
TacTok: semantics-aware proof synthesis
2020 · Emily First, Yuriy Brun, et al. · Proceedings of the ACM on Programming Languages · 41
PDF
Diversity-driven automated formal verification
2022 · Emily First, Yuriy Brun · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 33
Passport: Improving Automated Formal Verification Using Identifiers
2023 · Alex Sanchez-Stern, Emily First, et al. · ACM Transactions on Programming Languages and Systems · 27
PDF
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
2025 · Kyle Thompson, Nuno Saavedra, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 10
PDF
PRoofster: Automated Formal Verification
2023 · Arpan Agrawal, Emily First, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 9
Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
2026 · Saketh Ram Kasibatla, Arpan Agrawal, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 5
CoqPyt: Proof Navigation in Python in the Era of LLMs
2024 · Pedro Carrott, Nuno Saavedra, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 5
Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
2024 · Chenyang An, Zhibo Chen, et al. · Proceedings of the conference - Association for Computational Linguistics. Meeting · 2
PDF
Getting More out of Large Language Models for Proofs
2023 · Zhang, Shizhuo Dylan, Ringer, Talia, et al. · arXiv (Cornell University) · 2
PDF
Lemmanaid: Neuro-Symbolic Lemma Conjecturing
2025 · Alhessi, Yousef, Einarsdóttir, Sólrún Halla, et al. · arXiv (Cornell University) · 1
PDF
ProofCoop: Collaborative Automated Formal Verification
2026 · Zhanna Kaufman, Emily First, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification Replication Package
2025 · Kasibatla, Saketh Ram, Agarwal, Arpan, et al. · Zenodo (CERN European Organization for Nuclear Research)
Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
2024 · An, Chenyang, Chen, Zhibo, et al. · arXiv (Cornell University)
PDF
CoqPyt: Proof Navigation in Python in the Era of LLMs
2023 · Saavedra, Nuno, Carrott, Pedro, et al. · Zenodo (CERN European Organization for Nuclear Research)
TacTok:意味論を意識した証明合成【JST・京大機械翻訳】
2020 · First Emily, Brun Yuriy, et al. · Proceedings of the ACM on Programming Languages
Works count: 21
Citation count: 231
H-index: 6
I10-index: 5
Year
Topic
Type