PTXBench: Benchmark and Adapt LLMs for GPU Kernel Optimization with Architecture-specific PTX Paper • 2608.17379 • Published 23 days ago • 4
HierSVA: A Data Synthesis Pipeline, Dataset, and Benchmark for LLM-Driven Hierarchical Hardware Formal Verification Paper • 2606.13706 • Published Jun 9