1 paper
Aleksandr Shefer, Igor Engel, Stanislav Alekseev +3
Although formal methods are capable of producing reliable software, they have seen minimal adoption in everyday programming. Automatic code generation using large language models i…