Notices by José A. Alonso (jose_a_alonso@mathstodon.xyz)

Embed this notice
José A. Alonso (jose_a_alonso@mathstodon.xyz)'s status on Saturday, 18-Jan-2025 17:06:35 JST José A. Alonso

Lisp programming language (Full course for beginners). ~ Alberto Lerda. https://youtu.be/cKK-Y1-jAHM #CommonLisp
In conversation about 43 minutes ago from mathstodon.xyz permalink
Attachments
1. Lisp Programming Language – Full Course for Beginners
  
  from freeCodeCamp.org
  
  In this Lisp for beginners course, @the-lisper will teach you why this elegant programming language has influenced computer science for over 60 years. Lisp's...
Embed this notice
José A. Alonso (jose_a_alonso@mathstodon.xyz)'s status on Monday, 13-Jan-2025 06:29:06 JST José A. Alonso

Common Lisp. https://lisp-lang.org/ #CommonLisp
In conversation about 5 days ago from mathstodon.xyz permalink
Attachments
1. Domain not in remote thumbnail source whitelist: lisp-lang.org
  
  Common Lisp
  
  Common Lisp
Embed this notice
José A. Alonso (jose_a_alonso@mathstodon.xyz)'s status on Thursday, 09-Jan-2025 04:19:50 JST José A. Alonso

Artificial intelligence then and now (From engines of logic to engines of bullshit?). ~ Thomas Haigh. https://cacm.acm.org/opinion/artificial-intelligence-then-and-now/ #AI #MachineLearning #LLMs
In conversation about 10 days ago from mathstodon.xyz permalink
Attachments
1. Domain not in remote thumbnail source whitelist: cacm.acm.org
  
  Artificial Intelligence Then and Now – Communications of the ACM
Embed this notice
José A. Alonso (jose_a_alonso@mathstodon.xyz)'s status on Tuesday, 31-Dec-2024 06:21:44 JST José A. Alonso

Rocq prover: A trustworthy, industrial-strength interactive theorem prover and dependently-typed programming language for mechanised reasoning in mathematics, computer science and more. https://rocq-prover.org/ #ITP #Rocq
In conversation about 18 days ago from mathstodon.xyz permalink
Attachments
1. Domain not in remote thumbnail source whitelist: rocq-prover.org
  
  Welcome to a World of Rocq
  
  Rocq is a general-purpose, industrial-strength interactive theorem prover.
Embed this notice
José A. Alonso (jose_a_alonso@mathstodon.xyz)'s status on Thursday, 28-Nov-2024 16:49:27 JST José A. Alonso

Readings shared November 27, 2024. https://jaalonso.github.io/vestigium/posts/2024/11/27-readings_shared_11-27-24 #Haskell #FunctionalProgramming #AI #MachineLearning #Math
In conversation about 2 months ago from mathstodon.xyz permalink
Attachments
1. Domain not in remote thumbnail source whitelist: jaalonso.github.io
  
  Readings shared November 27, 2024
  
  from José A. Alonso
  
  The readings shared in Mastodon on 27 November 2024 are Readings shared November 26, 2024. #ITP #Lean4 #IsabelleHOL #Logic #Math #Prolog #LogicProgramming #Z3 #SMT #AI #Education Haskell: A great pro
Embed this notice
José A. Alonso (jose_a_alonso@mathstodon.xyz)'s status on Monday, 15-May-2023 18:51:43 JST José A. Alonso

A univalent formalization of constructive affine schemes. ~ Max Zeuner, Anders Mörtberg. https://arxiv.org/abs/2212.02902 #ITP #Agda #Math
In conversation Monday, 15-May-2023 18:51:43 JST from mathstodon.xyz permalink
Attachments
1. Domain not in remote thumbnail source whitelist: static.arxiv.org
  
  A Univalent Formalization of Constructive Affine Schemes
  
  We present a formalization of constructive affine schemes in the Cubical Agda proof assistant. This development is not only fully constructive and predicative, it also makes crucial use of univalence. By now schemes have been formalized in various proof assistants. However, most existing formalizations follow the inherently non-constructive approach of Hartshorne's classic "Algebraic Geometry" textbook, for which the construction of the so-called structure sheaf is rather straightforwardly formalizable and works the same with or without univalence. We follow an alternative approach that uses a point-free description of the constructive counterpart of the Zariski spectrum called the Zariski lattice and proceeds by defining the structure sheaf on formal basic opens and then lift it to the whole lattice. This general strategy is used in a plethora of textbooks, but formalizing it has proved tricky. The main result of this paper is that with the help of the univalence principle we can make this "lift from basis" strategy formal and obtain a fully formalized account of constructive affine schemes.
Embed this notice
José A. Alonso (jose_a_alonso@mathstodon.xyz)'s status on Monday, 15-May-2023 18:48:47 JST José A. Alonso

Is ChatGPT a good causal reasoner? A comprehensive evaluation. ~ Jinglong Gao, Xiao Ding, Bing Qin, Ting Liu. https://arxiv.org/abs/2305.07375 #AI #ChatGPT
In conversation Monday, 15-May-2023 18:48:47 JST from mathstodon.xyz permalink
Attachments
1. Domain not in remote thumbnail source whitelist: static.arxiv.org
  
  Is ChatGPT a Good Causal Reasoner? A Comprehensive Evaluation
  
  Causal reasoning ability is crucial for numerous NLP applications. Despite the impressive emerging ability of ChatGPT in various NLP tasks, it is unclear how well ChatGPT performs in causal reasoning. In this paper, we conduct the first comprehensive evaluation of the ChatGPT's causal reasoning capabilities. Experiments show that ChatGPT is not a good causal reasoner, but a good causal interpreter. Besides, ChatGPT has a serious hallucination on causal reasoning, possibly due to the reporting biases between causal and non-causal relationships in natural language, as well as ChatGPT's upgrading processes, such as RLHF. The In-Context Learning (ICL) and Chain-of-Though (COT) techniques can further exacerbate such causal hallucination. Additionally, the causal reasoning ability of ChatGPT is sensitive to the words used to express the causal concept in prompts, and close-ended prompts perform better than open-ended prompts. For events in sentences, ChatGPT excels at capturing explicit causality rather than implicit causality, and performs better in sentences with lower event density and smaller lexical distance between events.
Embed this notice
José A. Alonso (jose_a_alonso@mathstodon.xyz)'s status on Monday, 15-May-2023 16:47:30 JST José A. Alonso

Mathematics of the impossible, Chapter 12, Data structures. https://emanueleviola.wordpress.com/2023/05/14/mathematics-of-the-impossible-chapter-12-data-structures/ #Math #CompSci
In conversation Monday, 15-May-2023 16:47:30 JST from mathstodon.xyz permalink
Attachments
1. No result found on File_thumbnail lookup.
  
  Mathematics of the impossible, Chapter 12, Data structures
  
  from Manu
  
  And as promised, here’s a chapter on data structures… in a complexity theory course! — Data structures aim to maintain data in memory so as to be able to support various operation…

Public

Notices by José A. Alonso (jose_a_alonso@mathstodon.xyz)

User actions

Following 0

Followers 0

Groups 0

Statistics

Feeds