TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation 文章

ArXiv CS.AI2026-06-06NEWSen作者: Eric Spencer, Arslan Bisharat, Brian Ortiz, Khushboo Bhadauria, TaiNing Wang, George K. Thiruvathukal, Konstantin Laufer, Mohammed Abuhamad
查看原文 →
关系图谱

TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation · 相关技术

相关技术

Direct Preference Optimizationrepair-based group-relative policy optimizationSupervised Fine-TuningDPOGRPOSFTTLA+