arxiv:2607.13292
Marcus Min
marcusm117
AI & ML interests
None yet
Recent Activity
updated a dataset 3 days ago
marcusm117/ProofNet-Verified new activity 14 days ago
PAug/ProofNetSharp:An audited, corrected, and verified version in Lean 4 new activity 14 days ago
PAug/ProofNetSharp:Confirmed faithfulness defects in 30 ProofNetSharp statementsOrganizations
None yet
