Talia Ringer

1. Stop treating `AGI' as the north-star goal of AI research
   2025/02/06 by Borhane Blili-Hamelin, Christopher Graziul, Blili-Hamelin, Borhane +29 · 20 voices · 11 citations
   #cs.CY
2. Baldur: Whole-Proof Generation and Repair with Large Language Models
   2023/03/08 by Emily First, First, Emily, Markus N. Rabe +5 · 4 voices · 17 citations
   Computer Science · #cs.LG #cs.LO #cs.SE
3. Getting More out of Large Language Models for Proofs
   2023/05/07 by Shizhuo Dylan Zhang, Zhang, Shizhuo Dylan, Talia Ringer +3 · 3 citations
   Computer Science · #Natural Language Processing Techniques #Mathematics, Computing, and Information Processing #Logic, programming, and type systems
4. Can Transformers Learn to Solve Problems Recursively?
   2023/05/24 by Shizhuo Dylan Zhang, Zhang, Shizhuo Dylan, Curt Tigges +7 · 3 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering Research
5. Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
   2024/10/25 by Saketh Ram Kasibatla, Kasibatla, Saketh Ram, Yuriy Brun +8 · 3 citations
   Computer Science · #Security and Verification in Computing #Formal Methods in Verification #Logic, programming, and type systems
6. HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
   2025/05/21 by Jilin Hu, Jianyu Zhang, Hu, Jilin +5 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Numerical Methods and Algorithms #Software Engineering (cs.SE)