2 papers
cs.AI2026
Agentified Assessment of Logical Reasoning Agents
Zhiyu Ni, Yifeng Xiao, Zheng Liang
We present a framework for evaluating and benchmarking logical reasoning agents when assessment itself must be reproducible, auditable, and robust to execution failures. Building o…
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…