El papel PROVE-RT informa un 44,7% de éxito en la generación de pruebas en tiempo real verificadas por máquina
Una preimpresión de arXiv presenta PROVE-RT, que utiliza recuperación e indicaciones por etapas para hacer que modelos de lenguaje grandes escriban scripts de prueba PROSA/ROCQ para análisis de programabilidad en tiempo real. Los autores informan una tasa de éxito del 44,7% en un conjunto de evaluación seleccionado, donde la indicación directa no logra producir mecanizaciones válidas de manera confiable.
leer historia Verified source: arxiv.org