References
- Reasonable — mission and current workreasonable.io
Official mission centers on training models and building tools/agents to make formal software verification accessible.
- The internet discovers TLA+. Now what?reasonable.io
Official September 2026 account describes agent pipeline converting specifications into machine-checked proofs and training models for integrated specification/proof/software workflows.
- Verification at Lightning Speedreasonable.io
Official August 2026 experiments adapt Nemotron 3.5 Lightning for Verus proof synthesis over Rust programs; described as experimental work, not universal verified-code generation.
Based on public sources. If accuracy is important, verify details using the links or references.
For corrections, updates, or requests to remove information, contact us.
Reviewed July 15, 2026 · Checked for accuracy and new information.
