arxiv:2607.13292
Marcus Min
marcusm117
AI & ML interests
None yet
Recent Activity
authored a paper 4 days ago
Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases updated a dataset 4 days ago
marcusm117/ProofNet-Verified published a dataset 4 days ago
marcusm117/ProofNet-VerifiedOrganizations
None yet
