The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors. - Harim Yoo (CoRR, 2025)