2505.03285 2025-10-08 cs.IR Soft Reasoning Paths for Knowledge Graph Completion Yanning Hou, Sihang Zhou, Ke Liang, Lingyuan Meng, Xiaoshu Chen, Ke Xu, Siwei Wang, Xinwang Liu, Jian Huang Comments Accepted by IJCAI 2025 详情 展开后加载摘要… URL PDF HTML 收藏 复制 复制简介 复制详情 生成图片 生成简图 生成详图
2502.06055 2025-10-08 cs.LO cs.DM cs.SC math.CO Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems Zhengyu Li, Conor Duggan, Curtis Bright, Vijay Ganesh Comments To appear at IJCAI 2025 详情 DOI 10.24963/ijcai.2025/292 展开后加载摘要… URL PDF HTML 收藏 复制 复制简介 复制详情 生成图片 生成简图 生成详图