Natural Language Processing at Yale
OpenComputer: Verifiable Software Worlds for Computer-Use Agents
Step-level Optimization for Efficient Computer-use Agents