2 papers
cs.LG2026
Adaptive Problem Generation via Symbolic Representations
Teresa Yeo, Myeongho Jeon, Dulaj Weerakoon +4
We present a method for generating training data for reinforcement learning with verifiable rewards to improve small open-weights language models on mathematical tasks. Existing da…
cs.AI2025
EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths
Zhening Li, Armando Solar-Lezama, Yisong Yue +1
We introduce a new approach to agent programming, the development of LLM-based agents. Current approaches to agent programming often entangle two aspects of agent design: the core…