Verified Critical Step Optimization for LLM Agents

Publication
In The 64th Annual Meeting of the Association for Computational Linguistics