llm-generated-semantics

标签

#llm-generated-semantics

随身携带你的解释器

Lobsters Hottest ↗ · 2026-10-17 缓存

Basis 研究人员利用 LLM 为一门小型编程语言编写形式化语义，并使用 Lean 证明编译到 RISC-V 后解释器符合这些规则。他们将现有解释器作为基准真值，以克服验证式软件中的规范瓶颈。

0 人收藏 0 人点赞