AUDACIOUS: User-Driven Access Control with Unmodified Operating Systems. - Talia Ringer; Dan Grossman; Franziska Roesner (CCS, 2016)

A solver-aided language for test input generation. - Talia Ringer; Dan Grossman; Daniel Schwartz-Narbonne; Serdar Tasiran (Proc. ACM Program. Lang., 2017)

Adapting proof automation to adapt proofs. - Talia Ringer; Nathaniel Yazdani; John Leo; Dan Grossman (CPP, 2018)

Ornaments for Proof Reuse in Coq. - Talia Ringer; Nathaniel Yazdani; John Leo; Dan Grossman (ITP, 2019)

QED at Large: A Survey of Engineering of Formally Verified Software. - Talia Ringer; Karl Palmskog; Ilya Sergey; Milos Gligoric 001; Zachary Tatlock (Found. Trends Program. Lang., 2019)

REPLica: REPL instrumentation for Coq analysis. - Talia Ringer; Alex Sanchez-Stern; Dan Grossman; Sorin Lerner (CPP, 2020)

Proof repair across type equivalences. - Talia Ringer; RanDair Porter; Nathaniel Yazdani; John Leo; Dan Grossman (PLDI, 2021)

Proof Repair. - Talia Ringer (2021)

PRoofster: Automated Formal Verification. - Arpan Agrawal; Emily First; Zhanna Kaufman; Tom Reichel; Shizhuo Zhang; Timothy Zhou; Alex Sanchez-Stern; Talia Ringer; Yuriy Brun (ICSE Companion, 2023)

Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset. - Tom Reichel; R. Wesley Henderson; Andrew Touchet; Andrew Gardner; Talia Ringer (ITP, 2023)

Baldur: Whole-Proof Generation and Repair with Large Language Models. - Emily First; Markus N. Rabe; Talia Ringer; Yuriy Brun (ESEC/SIGSOFT FSE, 2023)

Getting More out of Large Language Models for Proofs. - Shizhuo Dylan Zhang; Talia Ringer; Emily First (CoRR, 2023)

Can Transformers Learn to Solve Problems Recursively? - Shizhuo Dylan Zhang; Curt Tigges; Stella Biderman; Maxim Raginsky; Talia Ringer (CoRR, 2023)

Towards Proof Repair in Cubical Agda. - Cosmo Viola; Max Fan; Talia Ringer (CoRR, 2023)

Long-Term Mentoring for Computer Science Researchers. - Emily Ruppel; Sihang Liu 001; Elba Garza; Sukyoung Ryu; Alexandra Silva 001; Talia Ringer (Commun. ACM, 2023)

Passport: Improving Automated Formal Verification Using Identifiers. - Alex Sanchez-Stern; Emily First; Timothy Zhou; Zhanna Kaufman; Yuriy Brun; Talia Ringer (ACM Trans. Program. Lang. Syst., 2023)

Correctly Compiling Proofs About Programs Without Proving Compilers Correct. - Audrey Seo; Christopher Lam 003; Dan Grossman; Talia Ringer (ITP, 2024)

Cobblestone: Iterative Automation for Formal Verification. - Saketh Ram Kasibatla; Arpan Agarwal; Yuriy Brun; Sorin Lerner; Talia Ringer; Emily First (CoRR, 2024)

Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion. - Shizhuo Dylan Zhang; Curt Tigges; Zory Zhang; Stella Biderman; Maxim Raginsky; Talia Ringer (Trans. Mach. Learn. Res., 2024)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning. - Alex Sanchez-Stern; Abhishek Varghese; Zhanna Kaufman; Shizhuo Dylan Zhang; Talia Ringer; Yuriy Brun (ICSE, 2025)

Stop treating 'AGI' as the north-star goal of AI research. - Borhane Blili-Hamelin; Christopher Graziul; Leif Hancox-Li; Hananel Hazan; El-Mahdi El-Mhamdi; Avijit Ghosh; Katherine A. Heller; Jacob Metcalf; Fabricio Murai; Eryk Salvaggio; Andrew Smart; Todd Snider; et al. (CoRR, 2025)

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement. - Jilin Hu; Jianyu Zhang; Yongwang Zhao; Talia Ringer (CoRR, 2025)