TY  - RPRT
TI  - Can LLMs Enable Verification in Mainstream Programming?
AU  - Aleksandr Shefer
AU  - Igor Engel
AU  - Stanislav Alekseev
AU  - Daniil Berezun
AU  - Ekaterina Verbitskaia
AU  - Anton Podkopaev
PY  - 2025
UR  - https://arxiv.org/abs/2503.14183
ID  - 2503.14183
ER  -