Lecturas compartidas el 9 de abril de 2024
#ITP #Lean4 #IsabelleHOL #Coq #Math #LLMs #Logic #Emacs #OrgMode
Buenos días
Las lecturas compartidas en Mastodon el 9 de abril de 2024 son
Lecturas compartidas el 8 de abril de 2024. #ITP #Lean4 #IsabelleHOL #Coq #Math
Teaching higher-order logic using Isabelle. ~ Simon Tobias Lund, Jørgen Villadsen. #ITP #IsabelleHOL #Logic
Interactive formal specification for mathematical problems of engineers. ~ Walther Neuper. #ITP #IsabelleHOL
Uncertainty principle (in Isabelle/HOL). ~ Alexander Treml. #ITP #IsabelleHOL
Lean into verified software development. ~ Kesha Hietala, Emina Torlak. #ITP #LeanProver
A Coq library of sets for teaching denotational semantics. ~ Qinxiang Cao, Xiwei Wu, Yalun Liang. #ITP #Coq
The elements of differentiable programming. ~ Mathieu Blondel, Vincent Roulet. #Math #CompSci
Evaluation of an LLM in identifying logical fallacies: A call for rigor when adopting LLMs in HCI research. ~ Gionnieve Lim, Simon T. Perrault. #LLMs #Reasoning #Logic
Reason from fallacy: Enhancing large language models' logical reasoning through logical fallacy understanding. ~ Yanda Li et als. #LLMs #Reasoning #Logic
Creating a blog. #Emacs #OrgMode #Blog
También están en GitHub.
Saludos, José A.
"Con orden y tiempo se encuentra el secreto de hacerlo todo, y de hacerlo bien." ~ Pitágoras.