Ke Zhang
grenadeComing
ยท
AI & ML interests
None yet
Recent Activity
upvoted a paper about 8 hours ago
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization submitted a paper about 8 hours ago
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization authored a paper about 11 hours ago
Same Simulation, Different Evidence: Where Retrieved Tool Output Costs LLM Agents AccuracyOrganizations
None yet