Resumen:Presentamos **Lean4PHYS**, un marco de razonamiento integral para problemas de física de nivel universitario en Lean4.
Leer más →
Resumen:El rápido crecimiento de la literatura de investigación, particularmente en modelos de lenguajes grandes (LLM), ha hecho que la producción de artículos de estudio completos y actuales sea cada vez más difícil. Este artículo presenta autosurvey2, un proceso de varias etapas que automatiza la generación de encuestas mediante síntesis aumentada de recuperación y evaluación estructurada.
Leer más →
Resumen: Los modelos de lenguajes grandes (LLM) han demostrado un potencial transformador en la investigación científica, sin embargo, su implementación en contextos de alto riesgo plantea importantes preocupaciones sobre la confiabilidad. Aquí presentamos SciTrust 2.
Leer más →