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 1 day ago
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization
submitted a paper 1 day ago
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization
authored a paper 1 day ago
Same Simulation, Different Evidence: Where Retrieved Tool Output Costs LLM Agents Accuracy
View all activity

Organizations

None yet