Haoxing Ren

HeuriGym: An Agentic Benchmark for LLM-Crafted Heuristics in Combinatorial Optimization

Deep Generative Prior for First Order Inverse Optimization

Can LLMs Design Real Hardware? A New Benchmark for RTL Design and Verification Tasks

CraftRTL: High-quality Synthetic Data Generation for Verilog Code Models with Correct-by-Construction Non-Textual Representations and Targeted Code Repair

ChipVQA: Benchmarking Visual Language Models for Chip Design