#
vericoding
Here are 2 public repositories matching this topic...
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 14, 2026 - Python
Add this topic to your repo
To associate your repository with the vericoding topic, visit your repo's landing page and select "manage topics."