3 citations · 3 across the 4 of their papers we have counts for
4 papers
Thinking Machines: Mathematical Reasoning in the Age of LLMs
Andrea Asperti, Alberto Naibo, Claudio Sacerdoti Coen
Large Language Models (LLMs) have demonstrated impressive capabilities in structured reasoning and symbolic tasks, with coding emerging as a particularly successful application. Th…
Artifical intelligence and inherent mathematical difficulty
Walter Dean, Alberto Naibo
This paper explores the relationship of artificial intelligence to the task of resolving open questions in mathematics. We first present an updated version of a traditional argumen…
Harmony in the Light of Computational Ludics
Alberto Naibo, Yuta Takahashi
Prawitz formulated the so-called inversion principle as one of the characteristic features of Gentzen's intuitionistic natural deduction. In the literature on proof-theoretic seman…
Postponement of raa and Glivenko's theorem, revisited (extended version)
Giulio Guerrieri, Alberto Naibo
This article focuses on the technique of postponing the application of the reduction ad absurdum rule (raa) in classical natural deduction. First, it is shown how this technique is…