Parameter-efficient fine-tuning (LoRA family)
TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation
Current frontier — recent, not yet superseded in the knowledge base
0 papers critique it · 0 beat it on benchmarks
Recent methods in the same sub-problem, not yet superseded in the knowledge base — arXiv benchmark leaders, not vetted production recommendations.