collaborators

1 paper

cs.SE2026

CodeCircuit: Toward Inferring LLM-Generated Code Correctness via Attribution Graphs

Yicheng He, Zheng Zhao, Zhou Kaiyu +3

Current paradigms for code verification rely heavily on external mechanisms-such as execution-based unit tests or auxiliary LLM judges-which are often labor-intensive or limited by…