Show HN: Kronumos-Neurosymbolic code repair with a 5µs Rust Sub-Cortex

Category: ai-ml

Tags: program-repair, neurosymbolic, rust, swe-bench, automated-debugging

Score: 7.3/10 (Innovation: 8, Technical: 9, Documentation: 6, Utility: 6)

Kronumos 2 Kairos is a cost-bounded automated program repair system that combines a fine-tuned 7B code model with a deterministic Rust-based sub-cortex for structural validation and patch synthesis. It achieves competitive results on SWE-bench Verified using minimal tokens and zero marginal inference cost, demonstrating a neurosymbolic approach to code repair.

Target audience: AI researchers, software engineers, devops teams

Repository: https://zenodo.org/records/23013104 · Python · GPL-3.0 · 335 stars

View on Hacker News