2 papers
cs.PL2025
Typed Embedding of miniKanren for Functional Conversion
Igor Engel, Ekaterina Verbitskaia
Relational programming enables program synthesis through a verifier-to-solver approach. An earlier paper introduced a functional conversion that mitigated some of the inherent perf…
cs.SE2025
Can LLMs Enable Verification in Mainstream Programming?
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…