Olympiad-level formal mathematical reasoning with reinforcement learning

已完结 10 由 KeYanDog 发布于 2026/1/8 17:51:59

DOI:10.1038/s41586-025-09833-y
作者：Thomas Hubert, Rishi Mehta, Laurent Sartran, Miklós Z. Horváth, Goran ?u?i?, Eric Wieser, Aja Huang, Julian Schrittwieser, Yannick Schroecker, Hussain Masoom, Ottavia Bertolli, Tom Zahavy, Amol Mand
文献类型：期刊论文
补充材料：只需要正文

Nature

应助信息

求助已完结，文件已删除 如有需求请重新发布求助一键发布

感谢使用Book学术
本站所有文献仅供个人学习和参考，请勿将文件进行传播。共同遵守网站规定和相关知识产权规定。

上一个求助:其它数据库Naturally Fractured Carbonate Reservoir Characterization: A Case Study of a Mature High-Pour Point Oil Field in Hungary 下一个求助:NaturePhages with a broad host range are common across ecosystems