DeFAb: un punto de referencia verificable para la abducción anulable en modelos de cimentación
Resumen: Un solucionador lógico basado en reglas resuelve cada instancia en nuestro punto de referencia en menos de 50 microsegundos con 100% de precisión; el mejor modelo de lenguaje de frontera alcanza el 65% en el mejor de los casos y cae al 23,5% bajo una evaluación sólida de renderizado (en el peor de los casos, en cuatro renderizados de superficie).
Leer más →