Hugging Face's logo
Ke Zhang's picture

Ke Zhang

grenadeComing
2 2
·
https://grenadecoming.github.io

AI & ML interests

None yet

Recent Activity

submitted a paper about 9 hours ago
Same Simulation, Different Evidence: Where Retrieved Tool Output Costs LLM Agents Accuracy
upvoted a paper 2 days ago
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization
submitted a paper 2 days ago
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization
View all activity

Organizations

None yet