CktFormalizer: Autoformalization of Natural Language into Circuit Representations
arXiv:2605.07782v1 Announce Type: new Abstract: LLMs can generate hardware descriptions from natural language specifications, but the resulting Verilog often contains width mismatches, combinational l