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