2 papers
cs.AI2026
RocqSmith: Can Automatic Optimization Forge Better Proof Agents?
Andrei Kozyrev, Nikita Khramov, Denis Lochmelis +3
This work studies the applicability of automatic AI agent optimization methods to real-world agents in formal verification settings, focusing on automated theorem proving in Rocq a…
cs.PL2025
LitmusKt: Concurrency Stress Testing for Kotlin
Denis Lochmelis, Evgenii Moiseenko, Yaroslav Golubev +1
We present LitmusKt - the first tool for litmus testing concurrent programs in Kotlin. The tool's novelty also lies in the fact that Kotlin is a multiplatform language, i.e., it co…