2 citations · 3 across the 3 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…