problem_id,kind,ref ax-2607.12870-25121477,paper,arxiv:2607.12870