Compiler for LLMs, world models, and AGI
Researchers introduced Auto, a compiler that converts LLM agent behavior into verified, low-cost programs, achieving 96.9% parity on witnessed inputs at 6.4x lower cost on the AUTO-BENCH benchmark. The system autonomousl…