Ke Zhang

grenadeComing

·

https://grenadecoming.github.io

AI & ML interests

None yet

Recent Activity

new activity about 18 hours ago

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

updated a dataset 5 days ago

grenadeComing/lean-refactor-envs

published a dataset 5 days ago

grenadeComing/lean-refactor-envs

View all activity

Organizations

None yet

Papers 2

arxiv:2610.26836

arxiv:2606.31002

models 0

None public yet

datasets 3

grenadeComing/beyond-compilation-benchmark

Viewer • Updated about 18 hours ago • 2.5k • 300

grenadeComing/lean-refactor-envs

Preview • Updated 5 days ago • 47

grenadeComing/same-simulation-different-evidence

Viewer • Updated 8 days ago • 9.01k • 105