Collini, Luca

1 publications

NeurIPS 2025 VeriThoughts: Enabling Automated Verilog Code Generation Using Reasoning and Formal Verification Patrick Yubeaton, Andre Nakkab, Weihua Xiao, Luca Collini, Ramesh Karri, Chinmay Hegde, Siddharth Garg