Readings shared November 14, 2024
The readings shared in Mastodon on 14 November 2024 are
- Readings shared November 13, 2024. #ITP #Lean4 #Math #Physics #ATP #SATSolvers
- VEL: A formally verified reasoner for ℰℒ++ description logic. ~ Atalay Mert Ileri1, Hande Küçük McGinty. #ITP #Coq #Logic
- La formalización automatizada de las matemática: Una historia de cómo la necesidad hizo la virtud. ~ David de Frutos Escrig. #ITP #LeanProver #Math
- Debugging Haskell type errors. ~ Tikhon Jelvis (@tikhonjelvis). #Haskell #FunctionalProgramming
- The role of formal methods in computer science education. ~ Maurice ter Beek, Manfred Broy, Brijesh Dongol. #FormalMethods #CompSci #Education
- Resolution prover in Rust. ~ Wanda Rosmus. #Logic #ATP #RustLang
- AI’s math problem: FrontierMath benchmark shows how far technology still has to go. ~ Michael Nuñez (@MichaelFNunez). #AI #Math
- A holistic and critical look at language agents. ~ Yu Su (@ysunlp). #AI #LLMs