Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference. - Ali Aman; Muhammad Asaduzzaman; Shaowei Wang (CoRR, 2026)