marcusm117/ProofNet-Verified
Viewer • Updated • 367 • 30
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