Resolución de geometría olímpica de nivel de medalla de oro con construcciones auxiliares heurísticas eficientes

Resumen: La demostración automatizada de teoremas en geometría euclidiana, particularmente para problemas de nivel de la Olimpiada Internacional de Matemáticas (OMI), sigue siendo un desafío importante y un importante foco de investigación en Inteligencia Artificial.

Leer más →

Comentarios desactivados en Resolución de geometría olímpica de nivel de medalla de oro con construcciones auxiliares heurísticas eficientes

Cuando las preferencias humanas cambian: una pérdida sólida dependiente de la instancia para RLHF

Resumen: La calidad de los conjuntos de datos juega un papel importante en la alineación del modelo de lenguaje grande (LLM). Sin embargo, al recopilar comentarios humanos, el cambio de preferencias es omnipresente y provoca corrupción en la anotación de datos; El problema requiere algoritmos de alineación con mayor robustez frente a posibles pares invertidos.

Leer más →

Comentarios desactivados en Cuando las preferencias humanas cambian: una pérdida sólida dependiente de la instancia para RLHF

Fin del contenido

No hay más páginas por cargar