Nakkab, Andre

3 publications

NeurIPS 2025 VeriLoC: Line-of-Code Level Prediction of Hardware Design Quality from Verilog Code Raghu Vamshi Hemadri, Jitendra Bhandari, Andre Nakkab, Johann Knechtel, Badri P Gopalan, Ramesh Narayanaswamy, Ramesh Karri, Siddharth Garg

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

NeurIPS 2024 BioTrove: A Large Curated Image Dataset Enabling AI for Biodiversity Chih-Hsuan Yang, Ben Feuer, Zaki Jubery, Zi K. Deng, Andre Nakkab, Md Zahid Hasan, Shivani Chiranjeevi, Kelly Marshall, Nirmal Baishnab, Asheesh K Singh, Arti Singh, Soumik Sarkar, Nirav Merchant, Chinmay Hegde, Baskar Ganapathysubramanian