Buscar noticias
Buscá por texto y descubrí noticias relacionadas con tu consulta.
Noticias relevantes
Hasta 10 noticias relacionadas por su significado, ordenadas por relevancia.
China News ServiceJugadora china Shi Han entra en los octavos de final del torneo de circuito de la red
La jugadora de tenis china Shi Han ha logrado un avance significativo en su carrera, clasificando a los octavos de final del circuito en la Copa Internacional de Tenis Femenina de Guangzhou. En el partido, ganó el segundo set tras ganar el juego de desempate, derrotando a las cuartas de final de la WTA. Otros jugadores como Williams/Zeng Limei y Padova también avanzaron en sus respectivos torneos, mostrando un desempeño competitivo en el circuito.
Noticias encontradas
Coincidencias en título, descripción, resumen, tags, personas o periodista.
1 resultado para «Xiaohan Lin»
Más recientes primero · Hasta 30 noticias por página
Hugging Face BlogKimina-Prover: aplicación de búsqueda RL en tiempo de prueba a grandes modelos de razonamiento formal
El equipo Numina y Kimi presentó Kimina-Prover-72B, un modelo de demostración automática de teoremas en Lean 4 entrenado con el pipeline de RL Kimi k1.5 sobre Qwen2.5-72B, junto con variantes destiladas de 8B y 1.7B. Sus innovaciones clave son la búsqueda de aprendizaje por refuerzo en tiempo de prueba (TTRL), que permite descubrir y combinar lemas recursivamente, y una capacidad de corrección de errores que interpreta los mensajes de Lean. En el benchmark miniF2F alcanza una tasa de aprobación de 92,2%, superando a modelos previos como DeepSeek-Prover-V2 y AlphaProof.