The readings shared in Bluesky on 11 July 2025 are

• Kimina-Prover: Applying test-time RL search on large formal reasoning models. ~ Haiming Wang et als. #LLMs #ITP #LeanProver
• AI for mathematical discovery (symbolic, neural and neuro-symbolic methods). ~ Moa Johansson. #AI #Math
• Cursos impartidos con materiales completos: apuntes, ejercicios y exámenes resueltos. #Lógica #ProgramaciónLógica #ProgramaciónFuncional #IA #RazonamientoAutomático