1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
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…