LOGIGEN: Logic-Driven Generation of Verifiable Agentic Tasks

Yucheng Zeng, Weipeng Lu, Linyun Liu +9

The evolution of Large Language Models (LLMs) from static instruction-followers to autonomous agents necessitates operating within complex, stateful environments to achieve precise…