Marcus Min

marcusm117's activity

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

New activity in PAug/ProofNetSharp 5 days ago

An audited, corrected, and verified version in Lean 4

#3 opened 5 days ago by

marcusm117

Confirmed faithfulness defects in 30 ProofNetSharp statements

1

#2 opened 3 months ago by

millenniumibby

updated a dataset 7 days ago

marcusm117/ProofNet-Verified

Viewer • Updated 7 days ago • 367 • 330

upvoted a paper 2 months ago

Apodex 1.1: Scaling Agentic Intelligence for Complex Work

Paper • 2608.23283 • Published Aug 24 • 210

authored a paper 3 months ago

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

Paper • 2607.13292 • Published Jul 14

published a dataset 3 months ago

marcusm117/ProofNet-Verified

Viewer • Updated 7 days ago • 367 • 330

authored 2 papers 7 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