Kaijing Ma's picture

3 5 2

Kaijing Ma

mkj69

·

AI & ML interests

None yet

Recent Activity

published a dataset 2 days ago

m-a-p/oprover_lean

updated a dataset 2 days ago

m-a-p/oprover_lean

upvoted a paper 3 days ago

GEBench: Benchmarking Image Generation Models as GUI Environments

View all activity

Organizations

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

Upload FineLeanCorpusv2.jsonl

#2 opened 7 months ago by

Upload FineLeanCorpusv2.jsonl

#2 opened 7 months ago by