:blogpost: true
:date: June 5, 2026
:author: AB
:category: Research Update
:tags: Formal Methods, TLA+, LLMs, Publication, ICSOFT
:nocomments:

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).

`Read the full paper details <../../papers/tla-prover/>`__