Bend

链接
分类
资料开发AI安全2026-09-19 08:37:00
简介

面向 AI 编程的验证语言。利用 lean 证明来阻止 AI 犯错,对比人类语言更加精准,且验证很快。

相似条目

笔记

Beta

暂无笔记