CompSci

Lecturas compartidas el 3 de mayo de 2024

#ITP #Lean4 #IsabelleHOL #FunctionalProgramming #Haskell #Python #Math #CompSci #Education #AI #GenerativeAI #MachineLearning #DeepLearning

may 4, 2024 •

José A. Alonso

Lecturas compartidas el 23 de abril de 2024

#ITP #Lean4 #IsabelleHOL #Coq #FunctionalProgramming #Math #CompSci

abr 24, 2024 •

José A. Alonso

Lecturas compartidas el 16 de abril de 2024

#ITP #Lean4 #IsabelleHOL #Coq #HOL_Light #SMT #Haskell #Python #Logic #Math #CompSci

abr 17, 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 24 de marzo de 2024

#AI #CompSci #FunctionalProgramming #ITP #Lean4 #LeanProver #LogicProgramming #NeuralNetwork #PVS #Prolog #Python

mar 25, 2024 •

José A. Alonso

Lecturas compartidas el 21 de marzo de 2024

#AI #Agda #CompSci #Coq #Education #FunctionalProgramming #Haskell #ITP #LLMs #Logic #Math #Reasoning

mar 22, 2024 •

José A. Alonso

Lecturas compartidas el 13 de marzo de 2024

Lecturas de razonamiento automático, lógica matemática y computación

mar 14, 2024 •

José A. Alonso

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts