Luca Collini

1
papers
5
total citations

papers (1)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification

NeurIPS 2025arXiv
5
citations