arxiv:2607.13292
Marcus Min
marcusm117
AI & ML interests
None yet
Recent Activity
upvoted a paper 3 days ago
Apodex 1.1: Scaling Agentic Intelligence for Complex Work authored a paper about 1 month ago
Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases updated a dataset about 1 month ago
marcusm117/ProofNet-VerifiedOrganizations
None yet
