ResearchTaskscid016: Design Verification – Debugging / Bug Fixingcid016: Design Verification – Debugging / Bug FixingFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedCVDP non-agentic 1.0GPT-o4 Mini22.86Pass@110Feb 26, 2026