Can LLMs Enable Verification in Mainstream Programming? - Aleksandr Shefer; Igor Engel; Stanislav Alekseev; Daniil Berezun; Ekaterina Verbitskaia; Anton Podkopaev (CoRR, 2025)