Global Product Intersection Sets in Semigroups
Wouter van Doorn, Pietro Monticone, Quanyu Tang
AI use, as the source states it
“Both classifications were autonomously discovered and formally verified in Lean by Aristotle, a formal reasoning agent developed by Harmonic.”
Model: Aristotle, as stated
Named here, or see a mistake? Write to privacy@papex.org.