The Embedding Report
.
Front
Search
Tools
Entities
Digest
About
Methodology
Entities
·
Models
TLA-Prover
1 article tagged with this entity.
TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation
via
export.arxiv.org
· Global
· 8h ago