Ke Zhang

grenadeComing's activity

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

New activity in grenadeComing/beyond-compilation-benchmark 4 days ago

Add task_categories and remove arxiv tag from metadata

1

#2 opened 10 days ago by

nielsr

updated a dataset 8 days ago

grenadeComing/lean-refactor-envs

Preview • Updated 8 days ago • 69

published a dataset 8 days ago

grenadeComing/lean-refactor-envs

Preview • Updated 8 days ago • 69

submitted a paper to Daily Papers 9 days ago

Same Simulation, Different Evidence: Where Retrieved Tool Output Costs LLM Agents Accuracy

Paper • 2610.26836 • Published 13 days ago • 4

upvoted a paper 11 days ago

Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization

Paper • 2606.31002 • Published 17 days ago • 7

submitted a paper to Daily Papers 11 days ago

Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization

Paper • 2606.31002 • Published 17 days ago • 7

authored 2 papers 11 days ago

Same Simulation, Different Evidence: Where Retrieved Tool Output Costs LLM Agents Accuracy

Paper • 2610.26836 • Published 13 days ago • 4

Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization

Paper • 2606.31002 • Published 17 days ago • 7

updated a dataset 12 days ago

grenadeComing/same-simulation-different-evidence

Viewer • Updated 12 days ago • 9.01k • 116

published a dataset 12 days ago

grenadeComing/same-simulation-different-evidence

Viewer • Updated 12 days ago • 9.01k • 116

upvoted a paper 12 days ago

Same Simulation, Different Evidence: Where Retrieved Tool Output Costs LLM Agents Accuracy

Paper • 2610.26836 • Published 13 days ago • 4

updated a dataset 12 days ago

grenadeComing/beyond-compilation-benchmark

Viewer • Updated 4 days ago • 2.5k • 351

published a dataset 12 days ago

grenadeComing/beyond-compilation-benchmark

Viewer • Updated 4 days ago • 2.5k • 351