PROVE-RT Paper Rapporter 44,7 % suksess ved å generere maskinsjekkede sanntidsprøver
Et arXiv-fortrykk presenterer PROVE-RT, som bruker gjenfinning og trinnvis spørring for å få store språkmodeller til å skrive PROSA/ROCQ-prøveskript for sanntids planleggingsanalyse. Forfatterne rapporterer en suksessrate på 44,7 % på et kuratert evalueringssett, der direkte spørsmål ikke klarer å produsere gyldige mekaniseringer.