Method Drift›Parameter-efficient fine-tuning (LoRA family)
Tracked
TLA-Prover
TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank AdaptationParameter-efficient fine-tuning (LoRA family) · first seen Jun 4, 2026
current frontier — recent, not yet superseded in the knowledge base
0 papers critique it · 0 beat it on benchmarks
Newer alternatives
Recent methods in the same sub-problem, not yet superseded in the knowledge base.