2 papers
cs.AI2026
Symbolic Temporal Supervision of LLM Agents Using Contracts
Yifeng Xiao, Pierluigi Nuzzo
Large language model (LLM) agents augmented by tools can automate complex, multi-step tasks, such as web navigation, code generation, and workflow orchestration, by acting on exter…
cs.LG2025
CORE: Constraint-Aware One-Step Reinforcement Learning for Simulation-Guided Neural Network Accelerator Design
Yifeng Xiao, Yurong Xu, Ning Yan +2
Simulation-based design space exploration (DSE) aims to efficiently optimize high-dimensional structured designs under complex constraints and expensive evaluation costs. Existing…