Sign in
Emily First
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 8
Top Topics
Language Modelling
Formal Verification
Semi Automated
Okapi Bm
Top Venues
CoRR
Proc. ACM Program. Lang.
ICSE Companion
ESEC/SIGSOFT FSE
</>
Publications
</>
Emily First
,
Markus N. Rabe
,
Talia Ringer
,
Yuriy Brun
Baldur: Whole-Proof Generation and Repair with Large Language Models.
ESEC/SIGSOFT FSE
(2023)
Emily First
,
Markus N. Rabe
,
Talia Ringer
,
Yuriy Brun
Baldur: Whole-Proof Generation and Repair with Large Language Models.
CoRR
(2023)
Shizhuo Dylan Zhang
,
Talia Ringer
,
Emily First
Getting More out of Large Language Models for Proofs.
CoRR
(2023)
Alex Sanchez-Stern
,
Emily First
,
Timothy Zhou
,
Zhanna Kaufman
,
Yuriy Brun
,
Talia Ringer
Passport: Improving Automated Formal Verification Using Identifiers.
ACM Trans. Program. Lang. Syst.
45 (2) (2023)
Arpan Agrawal
,
Emily First
,
Zhanna Kaufman
,
Tom Reichel
,
Shizhuo Zhang
,
Timothy Zhou
,
Alex Sanchez-Stern
,
Talia Ringer
,
Yuriy Brun
PRoofster: Automated Formal Verification.
ICSE Companion
(2023)
Alex Sanchez-Stern
,
Emily First
,
Timothy Zhou
,
Zhanna Kaufman
,
Yuriy Brun
,
Talia Ringer
Passport: Improving Automated Formal Verification Using Identifiers.
CoRR
(2022)
Emily First
,
Yuriy Brun
Diversity-Driven Automated Formal Verification.
ICSE
(2022)
Emily First
,
Yuriy Brun
,
Arjun Guha
TacTok: semantics-aware proof synthesis.
Proc. ACM Program. Lang.
4 (OOPSLA) (2020)