Fine-Tuning Nemotron on 3,000 Verus Proofs Boosts Pass Rate to 73%

Reasonable, in collaboration with NVIDIA, fine-tuned Nemotron 3.5 Super VL on a new dataset of 3,000 Verus proofs, raising its pass rate on formal TLA+ proofs from 43% to 73.3% and releasing the dataset.

2026-10-15 ~ 2026-10-16 · 2 related posts

• Fine-tuned Nemotron 3.5 lifts hard Verus proof pass rate from 43% to 73% — fhuszar · 2026-10-15
• Reasonable post-trains Nemotron 3.5 on 3,000 Verus proofs, lifting pass@1 ~30 points to 73.3% — fhuszar · 2026-10-16