作者位次 #3/7STOC 2026Oral· Theory of Computing
Classifying Identities: Subcubic Distributivity Checking and Hardness from Arithmetic Progression Detection
Bartlomiej Dudek · Nick Fischer · Geri Gokaj · Ce Jin · Marvin Künnemann · Xiao Mao · Mirza Redzic
理论与学习动力学OpenReview