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