#sondas formales

X-RAY: Mapeo del razonamiento en LLMs con sondas formales

Descubre cómo X-RAY mapea la capacidad de razonamiento de los LLMs usando sondas formales y calibradas, revelando asimetrías y fallos interpretables.