xianyu-sheng

👤 Developer

1 repository on SrcLog

1 Repos

3 Stars

5 Forks

0 Watchers

Add it to a GitHub README or profile — the card updates as the ranking changes:

Repositories (1)

证据约束的代码诊断工作台：确定性静态分析拥有源码事实，LLM 只提假设，resolver/validator 决定能否绑定回真实操作——证据不足保持 unknown/abstained，从架构抑制幻觉。已在真实开源项目发现 bug（stunner #89 已被上游确认修复）。Python。