Concepedia

Emily First

EF

Statistics

Publications

4

Citations

164

H-Index

4

Active since

2020

Affiliations

University of Massachusetts Amherst(Current)

University of Illinois Urbana-Champaign

Emily First is an author at University of Massachusetts Amherst specializing in automated theorem proving, verification, and theorem proving.

Publications per year

2020–2023

4

Publications

4

Baldur: Whole-Proof Generation and Repair with Large Language Models

Emily First, Markus N. Rabe, Talia Ringer et al. · 2023 · 76 citations

Computing, Computer Science, Formal Methods +16

TacTok: semantics-aware proof synthesis

Emily First, Yuriy Brun, Arjun Guha · Proceedings of the ACM on Programming Languages · 2020 · 38 citations · Full text

Computing, Computer Science, Formal Methods +13

Diversity-driven automated formal verification

Emily First, Yuriy Brun · Proceedings of the 44th International Conference on Software Engineering · 2022 · 28 citations

Computing, Computer Science, Artificial Intelligence +14

Passport: Improving Automated Formal Verification Using Identifiers

Alex Sanchez-Stern, Emily First, Timothy Zhou et al. · ACM Transactions on Programming Languages and Systems · 2023 · 22 citations · Full text

Computing, Computer Science, Computational Linguistics +16

1–4 of 4