Readings shared November 16, 2025
The readings shared in Bluesky on 16 November 2025 are:
- To have machines make math proofs, turn them into a puzzle. ~ John Pavlus. #AI #Math #ATP #SatSolvers
- SITA: A framework for structure-to-instance theorem autoformalization. ~ Chenyi Li, Wanli Ma, Zichen Wang, Zaiwen Wen. #AI #Math #Autoformalization #LLMs #ITP #LeanProver
- #Exercitium: Repetición cíclica. #Haskell #ProgramaciónFuncional