Solving olympiad geometry without human demonstrations 论文

2024Nature引用 242
DOIPDF
Logic, programming, and type systemsArtificial Intelligence in GamesSoftware Engineering Research
企业软件Software Engineering ResearchArtificial Intelligence in GamesLogic, programming, and type systems
关系图谱

Solving olympiad geometry without human demonstrations · 相关技术

暂无数据