フォロー
Talia Ringer
タイトル
引用先
引用先
年
Baldur: Whole-Proof Generation and Repair with Large Language Models
E First, MN Rabe, T Ringer, Y Brun
ESEC/FSE, 2023
124*2023
QED at Large: A Survey of Engineering of Formally Verified Software
T Ringer, K Palmskog, I Sergey, M Gligoric, Z Tatlock
Foundations and Trends® in Programming Languages 5 (2-3), 102-281, 2019
1012019
Audacious: User-driven access control with unmodified operating systems
T Ringer, D Grossman, F Roesner
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
502016
Adapting proof automation to adapt proofs
T Ringer, N Yazdani, J Leo, D Grossman
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
442018
Proof Repair
T Ringer
University of Washington, 2021
362021
Proof Repair Across Type Equivalences
T Ringer, RD Porter, N Yazdani, J Leo, D Grossman
Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language …, 2021
322021
Passport: Improving Automated Formal Verification Using Identifiers
A Sanchez-Stern, E First, T Zhou, Z Kaufman, Y Brun, T Ringer
TOPLAS 45 (2), No. 12, pp. 1-30, 2023
302023
REPLica: REPL Instrumentation for Coq Analysis
T Ringer, A Sanchez-Stern, D Grossman, S Lerner
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
252020
Ornaments for proof reuse in Coq
T Ringer, N Yazdani, J Leo, D Grossman
10th International Conference on Interactive Theorem Proving (ITP 2019), 2019
222019
Transformer-based models are not yet perfect at learning to emulate structural recursion
D Zhang, C Tigges, Z Zhang, S Biderman, M Raginsky, T Ringer
Transactions on Machine Learning Research, 2024
19*2024
A solver-aided language for test input generation
T Ringer, D Grossman, D Schwartz-Narbonne, S Tasiran
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-24, 2017
152017
Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset
T Reichel, RW Henderson, A Touchet, A Gardner, T Ringer
ITP, 2023
122023
Proofster: Automated formal verification
A Agrawal, E First, Z Kaufman, T Reichel, S Zhang, T Zhou, ...
2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023
82023
Getting More out of Large Language Models for Proofs
SD Zhang, T Ringer, E First
AI for Theorem Proving, 2023
82023
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
A Sanchez-Stern, A Varghese, Z Kaufman, D Zhang, T Ringer, Y Brun
ICSE, 2025
22025
ProofDB: A prototype natural language Coq search engine
T Reichel, T Ringer
9th Conference on Artificial Intelligence and Theorem Proving (AITP), 2024
12024
Proofs and Conversations
T Ringer
AMS Early Career Notices, 2024
12024
Cobblestone: Iterative Automation for Formal Verification
SR Kasibatla, A Agarwal, Y Brun, S Lerner, T Ringer, E First
arXiv preprint arXiv:2410.19940, 2024
2024
Correctly Compiling Proofs About Programs Without Proving Compilers Correct
A Seo, C Lam, D Grossman, T Ringer
15th International Conference on Interactive Theorem Proving (ITP 2024), 33 …, 2024
2024
Proof Repair across Quotient Type Equivalences
C Viola, M Fan, T Ringer
arXiv preprint arXiv:2310.06959, 2024
2024
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20