2 papers
math.CO2026
VC-dimensions Between Partially Ordered Sets and Totally Ordered Sets
Boyan Duan, Minghui Ouyang, Zheng Wang
We say that two partial orders on are compatible if there exists a partial order that refines both of them. This compatibility relation induces a natural set system structure…
cs.AI2025
Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions
Boyan Duan, Xiao Liang, Shuai Lu +7
Automated theorem proving in Euclidean geometry, particularly for International Mathematical Olympiad (IMO) level problems, remains a major challenge and an important research focu…