Lerner, Sorin
- Professional Software Developers Don't Vibe, They Control: AI Agent Use for Coding in 2025
2025/12/16 by Ruanqianqian Huang, A. Moreno Reyna, Huang, Ruanqianqian +8 · 16 voices · 4 citations
Computer Science · #Software Engineering Techniques and Practices #AI in Service Interactions #Multi-Agent Systems and Negotiation
- Generating Correctness Proofs with Neural Networks
2019/07/17 by Alex Sanchez-Stern, Sanchez-Stern, Alex, Yousef Alhessi +5 · 2 voices · 6 citations
#cs.PL
- Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
2024/12/18 by Kyle Thompson, Thompson, Kyle, Nuno Saavedra +16 · 2 voices · 12 citations
Computer Science · #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques #cs.AI #cs.SE
- Finding Root Causes of Floating Point Error with Herbgrind
2017/05/29 by Sanchez-Stern, Alex, Panchekha, Pavel, Lerner, Sorin +1 · 4 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Retrofitting Fine Grain Isolation in the Firefox Renderer (Extended\n Version)
2020/03/01 by Shravan Narayan, Narayan, Shravan, Craig Disselkoen +13 · 1 voice · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Security and Verification in Computing #Web Application Security Vulnerabilities #cs.CR
- Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
2024/10/25 by Saketh Ram Kasibatla, Kasibatla, Saketh Ram, Yuriy Brun +8 · 5 citations
Computer Science · #Security and Verification in Computing #Formal Methods in Verification #Logic, programming, and type systems
- Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
2024/04/10 by Chenyang An, An, Chenyang, Zhibo Chen +15 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Semantic Web and Ontologies #Software Engineering Research