TY - RPRT TI - Formal Algorithms for Model Efficiency AU - Naman Tyagi AU - Srishti Das AU - Kunal AU - Vatsal Gupta PY - 2025 UR - https://arxiv.org/abs/2508.14000 ID - 2508.14000 ER -