LLM4Cov (ICML 2026) shows a 4B model can beat its teacher at high-coverage testbench generation through execution-aware agentic learning — paper.