Formal Algorithms for Model Efficiency. - Naman Tyagi; Srishti Das; Kunal; Vatsal Gupta (CoRR, 2025)