Readings shared November 2, 2024
The readings shared in Mastodon on 2 November 2024 are
- Readings shared November 1, 2024. #ITP #Lean4 #IsabelleHOL #Coq #Logic #Math #Haskell #FunctionalProgramming #Autoformalization #LLMs
- The future of Mathematics in a world of machines. ~ Simone Severini. #Math #ITP #LeanProver #AI #LLMs #Autoformalization
- AIPS: An Olympiad-level AI system for algebraic inequalities. #LLMs #ITP #Lean4 #Math
- Proving the existence of stable assignments in democratic forking using Isabelle/HOL. ~ Jan-Georg Smaus. #ITP #IsabelleHOL
- Verified parser- and printer-combinator bidefinition in the Isabelle proof assistant. ~ Matthias Sleurink. #ITP #IsabelleHOL
- The Boustrophedon transform, the Entringer numbers, and related sequences (in Isabelle/HOL). ~ Manuel Eberl (@pruvisto@graz.social). #ITP #IsabelleHOL #Math
- Completeness of asynchronous session tree subtyping in Coq. ~ Burak Ekici, Nobuko Yoshida. #ITP #Coq
- Axiomatic set theory (Version of 31 October 2024). ~ Tom Leinster. #Math #SetTheory
- Basic category theory. ~ Tom Leinster. #Math #CategoryTheory
- Computational thinking: The idea that lived. ~ Shuchi Grover. #Education #Programming