Readings shared June 10, 2025
The readings shared in Bluesky on 10 June 2025 are
- Inductive definitions. ~ Lawrence Paulson. #ITP #IsabelleHOL #Math
- The equational theories project: advancing collaborative mathematical research at scale. ~ Terence Tao et als. #ITP #LeanProver #Math #AIforMath
- New AI stuns mathematicians with its problem-solving skill. ~ David H Bailey. #AI #LLMs #Math #AIforMath #ITP #LeanProver
- Premise selection for a Lean hammer. ~ Thomas Zhu, Joshua Clune, Jeremy Avigad, Albert Qiaochu Jiang, Sean Welleck. #ITP #LeanProver #AI
- Safe: Enhancing mathematical reasoning in large language models via retrospective step-aware formal verification. ~ Chengwu Liu et als. #LLMs #Math #ITP #LeanProver
- AlphaProof: When RL meets formal maths. ~ Thomas Hubert. #AI #Math #AIforMath #ITP #LeanProver #AlphaProof
- AI for Math: The future of collaborative discovery. ~ Mateja Jamnik. #AIforMath
- Are LLMs reliable translators of logical reasoning across lexically diversified contexts? ~ Qingchuan Li et als. #LLMs #Math #ATP #Prover9
- Dr. Neckbeard, or how I learned to stop worrying and love Emacs. ~ Watts Martin. #Emacs
- Revistas, editoriales y congresos depredadores. #Investigación
- AlphaProof: Aprendizaje por refuerzo aplicado a la demostración matemática. #AI #Math #AIforMath #ITP #LeanProver #AlphaProof
- El futuro de las matemáticas: Descubrimiento colaborativo entre humanos y máquinas. #AIforMath #AI #Math
- El proyecto ETP (Un caso de estudio en investigación matemática colaborativa y formalizada). #AIforMath #ITP #LeanProver #Math