Ke Zhang

grenadeComing

·

https://grenadecoming.github.io

AI & ML interests

None yet

Recent Activity

new activity 1 day ago

grenadeComing/beyond-compilation-benchmark:Add task_categories and remove arxiv tag from metadata

updated a dataset 6 days ago

grenadeComing/lean-refactor-envs

published a dataset 6 days ago

grenadeComing/lean-refactor-envs

View all activity

Organizations

None yet

grenadeComing 's datasets 3

grenadeComing/beyond-compilation-benchmark

Viewer • Updated 1 day ago • 2.5k • 337

grenadeComing/lean-refactor-envs

Preview • Updated 6 days ago • 50

grenadeComing/same-simulation-different-evidence

Viewer • Updated 9 days ago • 9.01k • 110