Automated neuro-symbolic pipeline classifying Calabi-Yau periods — exact Q-nullspace algebraic shielding, 0-axiom Lean 4 formal verification, and Callens-ALIX INT64 attention kernels.
algebraic-geometry symbolic-computation experimental-mathematics lean4 calabi-yau zeilberger-algorithm llm-attention
-
Updated
Jun 30, 2026 - Python