Marcus Min
marcusm117
AI & ML interests
None yet
Recent Activity
updated a dataset 5 days ago
marcusm117/ProofNet-Verified new activity 15 days ago
PAug/ProofNetSharp:An audited, corrected, and verified version in Lean 4 new activity 15 days ago
PAug/ProofNetSharp:Confirmed faithfulness defects in 30 ProofNetSharp statementsOrganizations
None yet
An audited, corrected, and verified version in Lean 4
#3 opened 15 days ago
by marcusm117
Confirmed faithfulness defects in 30 ProofNetSharp statements
1
#2 opened 4 months ago
by 
millenniumibby