Compile by Training transforme une spécification en langage naturel en fonction neuronale locale et atteint 83,6 % sur FuzzyBench-Hard
Le 3 septembre 2026, Yuntian Deng et Pengyu Nie, de l'université de Waterloo, et Stuart Shieber ont présenté une méthode qui compile une spécification écrite en langage courant en une fonction… Lire la brève