Talia Ringer - RankMe

30 papers A* 3B 5Journal 18Unranked 3

Year	Rank	Type	Title / 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