Haoxing Ren
- Papers
- 4
Cite
Notes
Only stored in your browser.
4papers
Authored papers
4Comprehensive Verilog Design Problems: A Next-Generation Benchmark Dataset for Evaluating Large Language Models and Agents on RTL Design and Verification
arXiv 2025
PRO-V: An Efficient Program Generation Multi-Agent System for Automatic RTL Verification
arXiv 2025
HeuriGym: An Agentic Benchmark for LLM-Crafted Heuristics in Combinatorial Optimization
arXiv 2025
Revisiting VerilogEval: A Year of Improvements in Large-Language Models for Hardware Code Generation
arXiv 2024
Affiliations
No known affiliations.
Frequent co-authors
10from 4 papers