Sorin Lerner
Scholar

Sorin Lerner

Google Scholar ID: 4Hva8KsAAAAJ
UC San Diego
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,313
 
H-index
27
 
i10-index
48
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
12 items
Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
2026
Cited
0
Decision-Oriented Programming with Aporia
2026
Cited
0
Tidynote: Always-Clear Notebook Authoring
2026
Cited
0
Professional Software Developers Don't Vibe, They Control: AI Agent Use for Coding in 2025
2025
Cited
0
The Command Line GUIde: Graphical Interfaces from Man Pages via AI
2025
Cited
0
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
2025
Cited
0
HiLDe: Intentional Code Generation via Human-in-the-Loop Decoding
2025
Cited
0
Lemmanaid: Neuro-Symbolic Lemma Conjecturing
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)