2 papers
cs.AI2026
Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
Chengwu Liu, Yichun Yin, Ye Yuan +7
Most ATP benchmarks embed the final answer within the formal statement -- a convention we call "Easy Mode" -- a design that simplifies the task relative to what human competitors f…
cs.LG2024
Cluster-guided Contrastive Class-imbalanced Graph Classification
Wei Ju, Zhengyang Mao, Siyu Yi +6
This paper studies the problem of class-imbalanced graph classification, which aims at effectively classifying the graph categories in scenarios with imbalanced class distributions…