241 citations · 538 across the 42 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
Programming with Pixels: Can Computer-Use Agents do Software Engineering?
Pranjal Aggarwal, Sean Welleck
Computer-use agents (CUAs) hold the promise of performing a wide variety of general tasks, but current evaluations have primarily focused on simple scenarios. It therefore remains…
cs.SE2024
miniCodeProps: a Minimal Benchmark for Proving Code Properties
Evan Lohn, Sean Welleck
AI agents have shown initial promise in automating mathematical theorem proving in proof assistants such as Lean. The same proof assistants can be used to verify the correctness of…