CraftRTL: High-quality Synthetic Data Generation for Verilog Code Models with Correct-by-Construction Non-Textual Representations and Targeted Code Repair - Liu, Mingjie; Tsai, Yun-Da; Zhou, Wenfei; Ren, Haoxing (International Conference on Learning Representations, 2025)