Empirical Explorations of the Geometry Theorem MachineHerbert L. Gelernter,J. R. Hansen,Donald W. LovelandAutomation of Reasoning（1983）引用 28|浏览0关键词empirical explorationAI 理解论文溯源树样例生成溯源树，研究论文发展脉络Chat Paper正在生成论文摘要
