Cite
Notes
Only stored in your browser.
Attribution
VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
arXiv 2025
SELECT: A Large-Scale Benchmark of Data Curation Strategies for Image Classification
arXiv 2024
from 2 papers
Chinmay Hegde
Andre Nakkab
Benjamin Feuer
Govind Mittal
Jiawei Xu
Luca Collini
Niv Cohen
Ramesh Karri
Siddharth Garg
Weihua Xiao