Author

Claire Le Goues

3 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Oct 2026

OpenRUA: Robot-Use Agents Are Zero-Shot Visuomotor Policies

Coding agents are extending their reach into the physical world by writing and executing robot control programs. One might expect the agents to use the existing mature software stack that engineers have developed over decades to access sensors and control motion. Yet prior work primarily engineers complex custom harnes...

Zhao-Yang Chu, Earl T. Barr, Claire Le Goues et al. · 4 citations

Preprint Sep 2026

Faultless: A Program Equivalence Technique for Validating and Evaluating Neural Decompilers

Neural decompilers are machine learning models which perform the process of decompilation, lifting code from a lower-level language to a higher one. Neural decompilers offer substantial utility relative to traditional deterministic decompilers because they can probabilistically recover information discarded during lowe...

Luke Dramko, Claire Le Goues, Edward J. Schwartz · 0 citations

Preprint Sep 2026

The Case for Automated Hyperspecialization: Evidence from SAT

This paper explores one such problem, SAT solving, by synthesizing hundreds of workload-specific SAT solvers at an average cost of $37 each, and conjecture that coding agents make automated hyperspecialization cheap, effective, and safe for problems with measurable performance and checkable output.

Harrison Green, Claire Le Goues, Fraser Brown · 0 citations