氛围形式化

技术

vibe formalization，用自然语言表达证明思路，借助AI自动转化为形式化语言的全新范式

1 次提及1 个连接首次出现: 2026-05-20最近出现: 2026-05-20

关系图谱

关系 (1)

使用技术 (1)

相关文章 (1)