Horizon offers auditable, offline coding assistance using local models. It uses verification techniques to boost a 7B model's performance to parity with a 671B model on verifiable tasks. This project aims for reproducibility with a focus on AI safety and code generation.
Opening Kapyn…