◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Sorin Lerner

9 papers hereh-index 581 citations11 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • middle author9

Across the 9 of 9 papers where every author was matched, so the position is known.

fields
  • cs.HC3
  • cs.AI2
  • cs.LO2
  • cs.SE2
same name
  • Sorin Lerner — 5 papers, h 33
  • Sorin Lerner — 5 papers, h 3

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20242026
most citedCoqPyt: Proof Navigation in Python in the Era of LLMs

5 citations · 9 across the 9 of their papers we have counts for

collaborators
Showing cs.HCShow all

3 papers · 1 filter

cs.HC2026

Decision-Oriented Programming with Aporia

Saketh Ram Kasibatla, Raven Rothkopf, Hila Peleg +4

AI agents allow developers to express computational intent abstractly, reducing cognitive effort and helping achieve flow during programming. Increased abstraction, however, comes…

cs.HC2025

The Command Line GUIde: Graphical Interfaces from Man Pages via AI

Saketh Ram Kasibatla, Kiran Medleri Hiremath, Raven Rothkopf +3

Although birthed in the era of teletypes, the command line shell survived the graphical interface revolution of the 1980's and lives on in modern desktop operating systems. The com…

cs.HC2025

HiLDe: Intentional Code Generation via Human-in-the-Loop Decoding

Emmanuel Anaya González, Raven Rothkopf, Sorin Lerner +1

While AI programming tools hold the promise of increasing programmers' capabilities and productivity to a remarkable degree, they often exclude users from essential decision-making…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.