1 citations · 1 across the 10 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LG2026
VH-GPO: Verified Handoff for LLM Agent Reinforcement Learning
Haoze Li, Peng Zhou, Peiyuan Wu +2
Group-relative reinforcement learning methods such as GRPO train large language model (LLM) agents by comparing rollouts for the same task. When every trajectory in a group fails w…
cs.AR2026
SpecLoop: An Agentic RTL-to-Specification Framework with Formal Verification Feedback Loop
Fu-Chieh Chang, Yu-Hsin Yang, Hung-Ming Huang +5
RTL implementations frequently lack up-to-date or consistent specifications, making comprehension, maintenance, and verification costly and error-prone. While prior work has explor…