arXivDaily arXiv每日学术速递 周一至周五更新

期刊&会议

International Joint Conference on Artificial Intelligence · 会议 · Artificial Intelligence

2025-10-08 至 2025-10-08 共收录 2
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

详情

展开后加载摘要…

URL PDF HTML 收藏