TY  - RPRT
TI  - Breaking the Myth: Can Small Models Infer Postconditions Too?
AU  - Gehao Zhang
AU  - Zhenting Wang
AU  - Juan Zhai
PY  - 2025
UR  - https://arxiv.org/abs/2507.10182
ID  - 2507.10182
ER  -