Hugging Face's logo
Ke Zhang's picture

Ke Zhang

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

AI & ML interests

None yet

Recent Activity

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

Organizations

None yet