Readings shared January 10, 2025
The readings shared in Bluesky on 10 January 2025 are
- Readings shared January 9, 2025. #ITP #LeanProver #Logic #Math #FunctionalProgramming #Haskell #JavaScript #Python #AI #NeuralNetwork #ChatGPT
- #Exercitium: Máxima suma de caminos en un triángulo. #Haskell #Python #Matemáticas
- Teaching "Foundations of mathematics" with the LEAN theorem prover (Master's Thesis). #ITP #LeanProver #Logic #Math
- Learning to automatically solve logic grid puzzles. ~ Arindam Mitra, Chitta Baral (2015). #ASP #LogicProgramming
- Neuro-symbolic AI in 2024: A systematic review. ~ Brandon C. Colelough, William Regli. #AI #NeuroSymbolicAI
- Un comparador de modelos de Inteligencia Artificial. ~ @Alvy. #AI #LLMs