INDUCTION: Finite-Structure Concept Synthesis in First-Order Logic 文章

ArXiv CS.AI2026-05-26NEWSen作者: Serafim Batzoglou
查看原文 →
关系图谱

INDUCTION: Finite-Structure Concept Synthesis in First-Order Logic · 相关技术

相关技术

ORMTTEODEPLA递归自我改进UCTStraight-Through EstimatorReferring expression comprehension (REC)Forfirst-order logicFFIENAARGANNTPU