Marcus Min

marcusm117's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

authored a paper 4 days ago

Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases

Paper • 2607.13292 • Published 11 days ago

updated a dataset 4 days ago

marcusm117/ProofNet-Verified

Viewer • Updated 4 days ago • 367 • 30

published a dataset 4 days ago

marcusm117/ProofNet-Verified

Viewer • Updated 4 days ago • 367 • 30

authored 2 papers 4 months ago

Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain

Paper • 2310.14053 • Published Oct 21, 2023

CYCLE: Learning to Self-Refine the Code Generation

Paper • 2403.18746 • Published Mar 27, 2024