Kaijing Ma

mkj69's activity

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

published a dataset about 5 hours ago

m-a-p/oprover_lean

Viewer • Updated about 4 hours ago • 29.8k

updated a dataset about 5 hours ago

m-a-p/oprover_lean

Viewer • Updated about 4 hours ago • 29.8k

upvoted a paper 1 day ago

GEBench: Benchmarking Image Generation Models as GUI Environments

Paper • 2602.09007 • Published 1 day ago • 36

upvoted a paper about 1 month ago

Dynamic Large Concept Models: Latent Reasoning in an Adaptive Semantic Space

Paper • 2512.24617 • Published Dec 31, 2025 • 64

upvoted 2 papers 2 months ago

How Far Are We from Genuinely Useful Deep Research Agents?

Paper • 2512.01948 • Published Dec 1, 2025 • 56

From Code Foundation Models to Agents and Applications: A Practical Guide to Code Intelligence

Paper • 2511.18538 • Published Nov 23, 2025 • 296

New activity in m-a-p/FineLeanCorpus 7 months ago

Upload FineLeanCorpusv2.jsonl

#2 opened 7 months ago by

mkj69

updated a model 10 months ago

mkj69/op_nodef

Updated Apr 24, 2025

published a model 10 months ago

mkj69/op_nodef

Updated Apr 24, 2025

updated a dataset 10 months ago

mkj69/op_plus

Updated Apr 11, 2025 • 827

upvoted a paper 11 months ago

YuE: Scaling Open Foundation Models for Long-Form Music Generation

Paper • 2503.08638 • Published Mar 11, 2025 • 72

liked a dataset 12 months ago

m-a-p/SuperGPQA

Viewer • Updated Apr 30, 2025 • 26.5k • 3.77k • 81

authored a paper 12 months ago

SuperGPQA: Scaling LLM Evaluation across 285 Graduate Disciplines

Paper • 2502.14739 • Published Feb 20, 2025 • 108

published a dataset about 1 year ago

mkj69/op_plus

Updated Apr 11, 2025 • 827

authored a paper over 1 year ago

MAP-Neo: Highly Capable and Transparent Bilingual Large Language Model Series

Paper • 2405.19327 • Published May 29, 2024 • 48

liked a dataset almost 2 years ago

m-a-p/CodeEditorBench

Preview • Updated Apr 5, 2024 • 536 • 23