LogicStar

Builds AI software engineering agents that autonomously reproduce, test and fix bugs, and a platform to benchmark and monitor coding agents on a customer’s own repositories. Builds on a decade of ETH Zurich research in program analysis and code generation (SWT-Bench, BaxBench).