2 papers
cs.AI2026
GenesisGeo: Technical Report
Minfeng Zhu, Zi Wang, Sizhe Ji +8
Recent neuro-symbolic geometry theorem provers have made significant progress on Euclidean problems by coupling neural guidance with symbolic verification. However, most existing s…
cs.IR2025
A Unified Framework for Interactive Visual Graph Matching via Attribute-Structure Synchronization
Yuhua Liu, Haoxuan Wang, Jiajia Kou +6
In traditional graph retrieval tools, graph matching is commonly used to retrieve desired graphs from extensive graph datasets according to their structural similarities. However,…