Amitayush Thakur

1
Papers
9
Total Citations

Papers (1)

CLEVER: A Curated Benchmark for Formally Verified Code Generation

NeurIPS 2025arXiv
9
citations