Autor: admin

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.

Resumen:Presentamos **Lean4PHYS**, un marco de razonamiento integral para problemas de física de nivel universitario en Lean4.

Resumen: Los modelos de lenguaje de gran visión (VLM) tienen una automatización de tareas de interfaz gráfica de usuario (GUI) avanzada, pero aún están por detrás de los humanos.