Typify uses usage-driven symbolic execution and iterative fixpoint analysis to infer precise Python types and matches or exceeds deep learning tools like Type4Py on real-world repositories.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference
Typify uses usage-driven symbolic execution and iterative fixpoint analysis to infer precise Python types and matches or exceeds deep learning tools like Type4Py on real-world repositories.