3 papers
cs.DC2026
Don't Let a Few Network Failures Slow the Entire AllReduce
Peiqing Chen, Jiedong Jiang, Nengneng Yu +4
Network failures are among the most frequent hardware faults in large-scale GPU clusters and a leading cause of training-job interruptions. Modern collective communication librarie…
cs.LG2026
Automated Conjecture Resolution with Formal Verification
Haocheng Ju, Guoxiong Gao, Jiedong Jiang +13
Recent advances in large language models have significantly improved their ability to perform mathematical reasoning, extending from elementary problem solving to increasingly capa…
math.AC2026
On some open problems in commutative algebra resolved by Rethlas
Jiedong Jiang, Yixiao Li, Zeming Sun +3
We report on a collection of open problems in commutative algebra and related areas that have been resolved (proved or disproved) using the Rethlas natural-language automated reaso…