activity
20232026
most citedSymmetry, Symmetry Topological Field Theory and von Neumann Algebra

1 citations · 1 across the 9 of their papers we have counts for

collaborators
Showing cs.LGShow all

1 paper · 1 filter

cs.LG2026

TLA-Verus: Generating and Solving Temporal Proof Obligations with LLM Agents

Kseniia Strelbytska, Balázs Szilágyi, Anna Mészáros +1

The TLA+ (temporal logic of actions) formal specification toolkit has seen widespread adoption in modeling modern distributed software systems including databases, storage systems,…