J.A. Alonso - Newsletter
Suscribirse
Iniciar sesión
Inicio
FunctionalProgramming
Haskell
ITP
Lean4
Mathlib
IsabelleHOL
Coq
HOL_Light
ACL2
LogicProgramming
Prolog
Logic
AI
LLMs
ChatGPT
CategoryTheory
CompSci
Emacs
Math
Python
Archivo
Acerca de
LLMs
Último
Lo mejor de
Lecturas compartidas el 25 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #FunctionalProgramming #Haskell #Python #Math #LLMs #MachineLearning
may 26, 2024
•
José A. Alonso
Lecturas compartidas el 16 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Agda #Logic #Math #FunctionalProgramming #Haskell #LLMs
may 17, 2024
•
José A. Alonso
Lecturas compartidas el 7 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Agda #SMT #Logic #Math #LLMs
may 8, 2024
•
José A. Alonso
Lecturas compartidas el 6 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Coq #Math #AI #LLMs #Programming
may 7, 2024
•
José A. Alonso
Lecturas compartidas el 5 de mayo de 2024
#ITP #IsabelleHOL #Lean4 #AI #LLMs
may 6, 2024
•
José A. Alonso
Lecturas compartidas el 21 de abril de 2024
#ITP #Lean4 #IsabelleHOL #Math #CategoryTheory #AI #LLMs
abr 22, 2024
•
José A. Alonso
Lecturas compartidas el 20 de abril de 2024
#ITP #IsabelleHOL #FunctionalProgramming #Math #AI #LLMs #ChatGPT #Philosophy
abr 21, 2024
•
José A. Alonso
Lecturas compartidas el 9 de abril de 2024
#ITP #Lean4 #IsabelleHOL #Coq #Math #LLMs #Logic #Emacs #OrgMode
abr 10, 2024
•
José A. Alonso
Lecturas compartidas el 3 de abril de 2024
#ITP #LeanProver #IsabelleHOL #Coq #HOL4 #Haskell #LogicProgramming #Prolog #Python #Logic #Math #AI #LLMs #Autoformalization
abr 4, 2024
•
José A. Alonso
Lecturas compartidas el 1 de abril de 2024
#AI #CompSci #DeepLearning #GPT #Haskell #ITP #LLMs #LeanProver #MachineLearning #Math #NeuralNetwork #Python
abr 2, 2024
•
José A. Alonso
Lecturas compartidas el 28 de marzo de 2024
#Coq #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math
mar 29, 2024
•
José A. Alonso
Lecturas compartidas el 26 de marzo de 2024
#ChatGPT #ITP #IsabelleZF #LLMs #Math #Programming #Python
mar 27, 2024
•
José A. Alonso
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
