Kaijing Ma
mkj69
AI & ML interests
None yet
Recent Activity
published
a dataset 30 days ago
m-a-p/oprover_lean updated
a dataset 30 days ago
m-a-p/oprover_lean upvoted a paper about 1 month ago
GEBench: Benchmarking Image Generation Models as GUI Environments Organizations
Upload FineLeanCorpusv2.jsonl
#2 opened 8 months ago
by
mkj69
Upload FineLeanCorpusv2.jsonl
#2 opened 8 months ago
by
mkj69