PICK: validación humana de especificaciones generadas por IA
El auge de la IA generativa en programación exige métodos formales que garanticen que los sistemas automáticos produzcan las soluciones realmente deseadas. Esos métodos requieren especificaciones matemáticas, un terreno que la mayoría de programadores domina peor que el código. Investigadores del bl
