problem_id,kind,ref ax-2607.07851-105112d7,paper,arxiv:2607.07851