Nazrin: Atomic Tactics for Graph Neural Networks for Theorem Proving in Lean 4. - Leni Aniva; Iori Oikawa; David Dill; Clark W. Barrett (CoRR, 2026)