← Back to feed

A code knowledge graph grounded in formal methods

IT·开源 · 2026-11-09 18:23

The AxiomCodeGraph project proposes building a code knowledge graph grounded in formal methods to enhance AI's precision in understanding code logic.

Source: github.com

Auto-generated summary for reference only. RSS