VeriTrace: Human-Like Temporal Exploration Completes Agentic Action Space
VeriTrace:类人时间探索完成智能体动作空间
专题命中 评测与基准 :large language model(abstract);language model(abstract);分类 cs.AI
AI总结 VeriTrace是一种多智能体系统,通过赋予Inspector智能体完整调试动作空间实现类人时间探索,在VerilogEval-V2基准测试上首次达到100% Pass@1,准确率较最强复现基线提升5.1%。
Comments ICLAD 2026, Long Oral