Emily First

16 papers A* 2Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Lemmanaid: Neuro-Symbolic Lemma Conjecturing.
CoRR
Yousef Alhessi, Sólrún Halla Einarsdóttir, George Granberry, Emily First, Moa Johansson, Sorin Lerner, Nicholas Smallbone
2025 A* conf
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification.
ICSE
Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, João F. Ferreira, Sorin Lerner, Emily First
2024 J jnl
Cobblestone: Iterative Automation for Formal Verification.
CoRR
Saketh Ram Kasibatla, Arpan Agarwal, Yuriy Brun, Sorin Lerner, Talia Ringer, Emily First
2024 — conf
CoqPyt: Proof Navigation in Python in the Era of LLMs.
SIGSOFT FSE Companion
Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First
2024 J jnl
CoqPyt: Proof Navigation in Python in the Era of LLMs.
CoRR
Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First
2024 J jnl
Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving.
CoRR
Chenyang An, Zhibo Chen, Qihao Ye, Emily First, Letian Peng, Jiayun Zhang, Zihan Wang, Sorin Lerner, Jingbo Shang
2024 — conf
Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving.
ACL (1)
Chenyang An, Zhibo Chen, Qihao Ye, Emily First, Letian Peng, Jiayun Zhang, Zihan Wang, Sorin Lerner, Jingbo Shang
2024 J jnl
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification.
CoRR
Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, João F. Ferreira, Sorin Lerner, Emily First
2023 — conf
Baldur: Whole-Proof Generation and Repair with Large Language Models.
ESEC/SIGSOFT FSE
Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun
2023 J jnl
Baldur: Whole-Proof Generation and Repair with Large Language Models.
CoRR
Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun
2023 J jnl
Getting More out of Large Language Models for Proofs.
CoRR
Shizhuo Dylan Zhang, Talia Ringer, Emily First
2023 — conf
PRoofster: Automated Formal Verification.
ICSE Companion
Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun
2023 J jnl
Passport: Improving Automated Formal Verification Using Identifiers.
ACM Trans. Program. Lang. Syst.
Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer
2022 A* conf
Diversity-Driven Automated Formal Verification.
ICSE
Emily First, Yuriy Brun
2022 J jnl
Passport: Improving Automated Formal Verification Using Identifiers.
CoRR
Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer
2020 J jnl
TacTok: semantics-aware proof synthesis.
Proc. ACM Program. Lang.
Emily First, Yuriy Brun, Arjun Guha