mostly jk, although agents themselves are of course getting better at detecting whether a formal spec is faithful to a natural language spec
mostly jk, although agents themselves are of course getting better at detecting whether a formal spec is faithful to a natural language spec