Basis | Ship Your Interpreter

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

saved by

• Devin Plumb