Ship Your Interpreter

发生了什么

LLMs can write rules for a programming language and prove that its interpreter follows them.

摘要按规则整理自下方来源原文

来源