TLA-Prover Paper Accepted to ICSOFT 2026#
We are pleased to announce that our latest research paper, “TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation” (Paper #131), has been accepted for publication at ICSOFT 2026 (International Conference on Software Technologies) in Porto, Portugal.
This marks our second paper accepted to ICSOFT 2026, alongside our systematic evaluation study on LLM-based TLA+ generation. TLA-Prover introduces a 20-billion-parameter model that achieves a 3.5× improvement in semantic correctness over public baselines by combining supervised fine-tuning with repair-based reinforcement learning (GRPO).