2D CNNs on image-encoded elliptic curve twists outperform 1D CNNs on Frobenius traces alone at separating conductor families from Sato-Tate random matrices and can predict analytic rank.
Learning Euler factors of elliptic curves
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
representative citing papers
A neurosymbolic method using two LLM prompting frameworks generates provably correct inductive arguments for 84% of a set of mid-size open-source RTL hardware designs.
citing papers explorer
-
Computer vision and converse theorems
2D CNNs on image-encoded elliptic curve twists outperform 1D CNNs on Frobenius traces alone at separating conductor families from Sato-Tate random matrices and can predict analytic rank.
-
Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?
A neurosymbolic method using two LLM prompting frameworks generates provably correct inductive arguments for 84% of a set of mid-size open-source RTL hardware designs.