Mark Ren

LLM4Cov: Execution-Grounded Agent Learning for High-Coverage Hardware Verification

Execution-grounded LLM agents offer a promising paradigm for learning from tool feedback, but such feedback is often expensive and slow to obtain, making online reinforcement learning (RL) impractical. High-coverage hardware verification exemplifies this challenge due to its reliance on industrial s…