社区Reddit r/LocalLLaMA2026/02/22 18:232650
QWED‑AI 是一个开源项目，使用 SymPy、Z3、AST 与 schema validation 对 AI 生成的数学、SQL、结构化数据等输出进行确定性验证，已具备 SBOM、CI 安全检查、OpenSSF Silver 徽章和签名容器等功能。项目现招聘安全工程师，负责威胁模型审查、供应链加固、验证方法改进及运行时漏洞发现，适合关注高风险环境 AI…
专题：verification
按该标签聚合的大模型资讯列表（自动分类与标签提取）。共 1 篇文章。