3 ms·Then of course we are going to ask LLMs to generate specifications in this new languageby oytis 7mo agoThen of course we are going to ask LLMs to generate specifications in this new language