Positivity and negativity for h-bases for n
Wouter van Doorn, Pietro Monticone, Melvyn B. Nathanson
AI use, as the source states it
“Proofs of these comparison results were autonomously discovered and formally verified in Lean by https://aristotle.harmonic.fun/}{Aristotle}, a formal reasoning agent developed by https://www.harmonic.fun/}{Harmonic}.”
Model: Aristotle, as stated
Named here, or see a mistake? Write to privacy@papex.org.