Ke Zhang

grenadeComing's activity

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

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

Add task_categories and remove arxiv tag from metadata

1

#2 opened 8 days ago by

nielsr

updated a dataset 6 days ago

grenadeComing/lean-refactor-envs

Preview • Updated 6 days ago • 50

published a dataset 6 days ago

grenadeComing/lean-refactor-envs

Preview • Updated 6 days ago • 50

submitted a paper to Daily Papers 7 days ago

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

Paper • 2610.26836 • Published 11 days ago • 4

upvoted a paper 9 days ago

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

Paper • 2606.31002 • Published 15 days ago • 9

submitted a paper to Daily Papers 9 days ago

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

Paper • 2606.31002 • Published 15 days ago • 9

authored 2 papers 9 days ago

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

Paper • 2610.26836 • Published 11 days ago • 4

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

Paper • 2606.31002 • Published 15 days ago • 9

updated a dataset 10 days ago

grenadeComing/same-simulation-different-evidence

Viewer • Updated 10 days ago • 9.01k • 110

published a dataset 10 days ago

grenadeComing/same-simulation-different-evidence

Viewer • Updated 10 days ago • 9.01k • 110

upvoted a paper 10 days ago

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

Paper • 2610.26836 • Published 11 days ago • 4

updated a dataset 11 days ago

grenadeComing/beyond-compilation-benchmark

Viewer • Updated 2 days ago • 2.5k • 337

published a dataset 11 days ago

grenadeComing/beyond-compilation-benchmark

Viewer • Updated 2 days ago • 2.5k • 337