赫尔辛基大学的逻辑与学习小组正在招聘一名博士后,致力于通过归纳逻辑编程方法破解ARC-AGI-3挑战。 您将在安德鲁·克罗珀教授的指导下工作。请在2026年2月5日之前申请——链接将在下一条推文中发布!