Emily First

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 12

Top Topics

Formal Verification

Propositional Logic

Top Venues

Proc. ACM Program. Lang.

Publications

Chenyang An, Zhibo Chen, Qihao Ye, Emily First, Letian Peng, Jiayun Zhang, Zihan Wang, Sorin Lerner, Jingbo Shang
Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving. ACL (1) (2024)
Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First
CoqPyt: Proof Navigation in Python in the Era of LLMs. SIGSOFT FSE Companion (2024)
Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First
CoqPyt: Proof Navigation in Python in the Era of LLMs. CoRR (2024)
Chenyang An, Zhibo Chen, Qihao Ye, Emily First, Letian Peng, Jiayun Zhang, Zihan Wang, Sorin Lerner, Jingbo Shang
Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving. CoRR (2024)
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)