Talia Ringer

According to our database, Talia Ringer authored at least 19 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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, Dylan Zhang, Talia Ringer, Yuriy Brun

CoRR, 2024

Correctly Compiling Proofs About Programs Without Proving Compilers Correct.

Audrey Seo, Christopher Lam, Dan Grossman, Talia Ringer

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

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., June, 2023

Long-Term Mentoring for Computer Science Researchers.

Emily Ruppel, Sihang Liu, Elba Garza, Sukyoung Ryu, Alexandra Silva, Talia Ringer

Commun. ACM, May, 2023

Towards Proof Repair in Cubical Agda.

Cosmo Viola, Max Fan, Talia Ringer

CoRR, 2023

Can Transformers Learn to Solve Problems Recursively?

Shizhuo Dylan Zhang, Curt Tigges, Stella Biderman, Maxim Raginsky, Talia Ringer

CoRR, 2023

Getting More out of Large Language Models for Proofs.

Shizhuo Dylan Zhang, Talia Ringer, Emily First

CoRR, 2023

Baldur: Whole-Proof Generation and Repair with Large Language Models.

Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset.

Tom Reichel, R. Wesley Henderson, Andrew Touchet, Andrew Gardner, Talia Ringer

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

PRoofster: Automated Formal Verification.

Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2021

Proof Repair.

Talia Ringer

PhD thesis, 2021

Proof repair across type equivalences.

Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

REPLica: REPL instrumentation for Coq analysis.

Talia Ringer, Alex Sanchez-Stern, Dan Grossman, Sorin Lerner

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019

QED at Large: A Survey of Engineering of Formally Verified Software.

Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock

Found. Trends Program. Lang., 2019

Ornaments for Proof Reuse in Coq.

Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2018

Adapting proof automation to adapt proofs.

Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017

A solver-aided language for test input generation.

Talia Ringer, Dan Grossman, Daniel Schwartz-Narbonne, Serdar Tasiran

Proc. ACM Program. Lang., 2017

2016

AUDACIOUS: User-Driven Access Control with Unmodified Operating Systems.

Talia Ringer, Dan Grossman, Franziska Roesner

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016