Talia Ringer

30 papers A* 3B 5Journal 18Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement.
CoRR
Jilin Hu, Jianyu Zhang, Yongwang Zhao, Talia Ringer
2025 — conf
Position: Stop treating 'AGI' as the north-star goal of AI research.
ICML (Position Papers)
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, Mariame Tighanimine, Talia Ringer, Margaret Mitchell, Shiri Dori-Hacohen
2025 J jnl
Proof Repair across Quotient Type Equivalences.
Proc. ACM Program. Lang.
Cosmo Viola, Max Fan, Talia Ringer
2025 A* conf
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning.
ICSE
Alex Sanchez-Stern, Abhishek Varghese, Zhanna Kaufman, Shizhuo Dylan Zhang, Talia Ringer, Yuriy Brun
2025 J jnl
Stop treating 'AGI' as the north-star goal of AI research.
CoRR
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, Mariame Tighanimine, Talia Ringer, Margaret Mitchell, Shiri Dori-Hacohen
2024 J jnl
Cobblestone: Iterative Automation for Formal Verification.
CoRR
Saketh Ram Kasibatla, Arpan Agarwal, Yuriy Brun, Sorin Lerner, Talia Ringer, Emily First
2024 B conf
Correctly Compiling Proofs About Programs Without Proving Compilers Correct.
ITP
Audrey Seo, Christopher Lam, Dan Grossman, Talia Ringer
2024 J jnl
Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion.
CoRR
Shizhuo Dylan Zhang, Curt Tigges, Zory Zhang, Stella Biderman, Maxim Raginsky, Talia Ringer
2024 J jnl
Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion.
Trans. Mach. Learn. Res.
Shizhuo Dylan Zhang, Curt Tigges, Zory Zhang, Stella Biderman, Maxim Raginsky, Talia Ringer
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
Can Transformers Learn to Solve Problems Recursively?
CoRR
Shizhuo Dylan Zhang, Curt Tigges, Stella Biderman, Maxim Raginsky, Talia Ringer
2023 J jnl
Getting More out of Large Language Models for Proofs.
CoRR
Shizhuo Dylan Zhang, Talia Ringer, Emily First
2023 J jnl
Long-Term Mentoring for Computer Science Researchers.
Commun. ACM
Emily Ruppel, Sihang Liu, Elba Garza, Sukyoung Ryu, Alexandra Silva, Talia Ringer
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
2023 B conf
Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset.
ITP
Tom Reichel, R. Wesley Henderson, Andrew Touchet, Andrew Gardner, Talia Ringer
2023 J jnl
Towards Proof Repair in Cubical Agda.
CoRR
Cosmo Viola, Max Fan, Talia Ringer
2022 J jnl
Long-Term Mentoring for Computer Science Researchers.
CoRR
Emily Ruppel, Sihang Liu, Elba Garza, Sukyoung Ryu, Alexandra Silva, Talia Ringer
2022 J jnl
Passport: Improving Automated Formal Verification Using Identifiers.
CoRR
Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer
2021 — —
Proof Repair.
Talia Ringer
2021 A* conf
Proof repair across type equivalences.
PLDI
Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman
2020 J jnl
Proof Repair Across Type Equivalences.
CoRR
Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman
2020 J jnl
QED at Large: A Survey of Engineering of Formally Verified Software.
CoRR
Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock
2020 B conf
REPLica: REPL instrumentation for Coq analysis.
CPP
Talia Ringer, Alex Sanchez-Stern, Dan Grossman, Sorin Lerner
2019 B conf
Ornaments for Proof Reuse in Coq.
ITP
Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman
2019 J jnl
QED at Large: A Survey of Engineering of Formally Verified Software.
Found. Trends Program. Lang.
Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock
2018 B conf
Adapting proof automation to adapt proofs.
CPP
Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman
2017 J jnl
A solver-aided language for test input generation.
Proc. ACM Program. Lang.
Talia Ringer, Dan Grossman, Daniel Schwartz-Narbonne, Serdar Tasiran
2016 A* conf
AUDACIOUS: User-Driven Access Control with Unmodified Operating Systems.
CCS
Talia Ringer, Dan Grossman, Franziska Roesner