Ke Zhang

grenadeComing's activity

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

submitted a paper to Daily Papers about 18 hours ago

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

Paper • 2610.26836 • Published 5 days ago • 2

upvoted a paper 3 days ago

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

Paper • 2606.31002 • Published 9 days ago • 8

submitted a paper to Daily Papers 3 days ago

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

Paper • 2606.31002 • Published 9 days ago • 8

authored 2 papers 3 days ago

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

Paper • 2610.26836 • Published 5 days ago • 2

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

Paper • 2606.31002 • Published 9 days ago • 8

updated a dataset 3 days ago

grenadeComing/same-simulation-different-evidence

Viewer • Updated 3 days ago • 9.01k • 64

published a dataset 3 days ago

grenadeComing/same-simulation-different-evidence

Viewer • Updated 3 days ago • 9.01k • 64

upvoted a paper 3 days ago

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

Paper • 2610.26836 • Published 5 days ago • 2

updated a dataset 4 days ago

grenadeComing/beyond-compilation-benchmark

Viewer • Updated 4 days ago • 2.5k • 190

published a dataset 4 days ago

grenadeComing/beyond-compilation-benchmark

Viewer • Updated 4 days ago • 2.5k • 190