A Verifiable Framework for Brain Tumor Classification: Combining Vision Transformers, Class-Weighted Learning, and SMT-Based Formal Decision Traces | Synapse