hmdmahdavi/proof-correctness-bench
Viewer • Updated • 768 • 19
Hamed Mahdavi PRO
hmdmahdavi
AI & ML interests
Reasoning,
Reinforcement Learning,
Data Curation,
Synthetic Data
Recent Activity
updated a dataset about 1 month ago
hmdmahdavi/proof-correctness-bench published a dataset about 1 month ago
hmdmahdavi/proof-correctness-bench updated a dataset 2 months ago
hmdmahdavi/ref-grader-data-and-logsOrganizations
