arxiv:2610.26836
Ke Zhang
grenadeComing
·
AI & ML interests
None yet
Recent Activity
authored a paper about 3 hours ago
Same Simulation, Different Evidence: Where Retrieved Tool Output Costs LLM Agents Accuracy authored a paper about 3 hours ago
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization updated a dataset about 10 hours ago
grenadeComing/same-simulation-different-evidenceOrganizations
None yet
