Posts tagged Publication

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.

Read more ...

Our Paper on LLM-Based TLA+ Specification Generation Has Been Accepted

We are excited to announce that our paper Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation has been accepted for publication at ICSOFT 2026 (International Conference on Software Technologies) in Porto, Portugal.

Read more ...