Recursive Formal Alignment Factory — Autonomous pipeline for generating ultra-high-density vericoding trajectories and training SOTA code models on a single T4 GPU. Multi-agent verification, formal proofs, dense rewards, recursive self-improvement.
python machine-learning reinforcement-learning multi-agent colab code-generation formal-verification synthetic-data llm qlora code-llm swe-bench vericoding
-
Updated
Apr 11, 2026 - Python