Related papers: The L\"uroth problem
This is the text of a series of three lectures given at the CMA of the Australian National University on the recent solution of the square root problem for divergence form elliptic operators, a long-standing conjecture posed by Kato in the…
What does it truly mean for a language model to "reason"? Current evaluations reward models' correct standalone answers-but correctness alone reveals little about the process that produced them. We argue that reasoning should be understood…
We propose TRACIE, a novel temporal reasoning dataset that evaluates the degree to which systems understand implicit events -- events that are not mentioned explicitly in natural language text but can be inferred from it. This introduces a…
This talk is dedicated to various aspects of Mirror Symmetry. It summarizes some of the mathematical developments that took place since M. Kontsevich's report at the Z\"urich ICM and provides an extensive, although not exhaustive,…
Refined stability estimates are derived for classical mixed problems. The novel emphasis is on the importance of semi norms on data functionals, inspired by recent progress on pressure-robust discretizations for the incompressible…
This text grew out of my lecture notes for a 4-hours minicourse delivered on October 17 \& 19, 2016 during the research school "Applications of Ergodic Theory in Number Theory" -- an activity related to the Jean-Molet Chair project of…
Automated theorem proving has long been a key task of artificial intelligence. Proofs form the bedrock of rigorous scientific inquiry. Many tools for both partially and fully automating their derivations have been developed over the last…
These lecture notes give an introduction to the Brauer-Manin obstruction to the existence of rational points, focusing on the interplay between theory and computation.
Transcript of G.J. Chaitin's 2 March 2000 Carnegie Mellon University School of Computer Science Distinguished Lecture. The notion of randomness is taken from physics and applied to pure mathematics in order to shed light on the…
Since the 1990s, RANS practitioners have observed spontaneous unsteadiness in RANS simulations. Some have suggested deliberately using this as a method of resolving large turbulent structures. However, to date, no one has produced a…
This two-parts paper offers a survey of linear logic and ludics, which were introduced by Girard in 1986 and 2001, respectively. Both theories revisit mathematical logic from first principles, with inspiration from and applications to…
This paper studies the formation of logical operations from pre-logical processes. We are concerned with the reasons for certain mental processes taking form of logical reasoning and the underlying drives for consolidation of logical…
Around the 1960s a celebrated collection of papers emerged offering a number of explicit identities for the class of isotropic stable processes in one and higher dimensions; these include, for example, the lauded works of Blumenthal,…
We present FIMO, an innovative dataset comprising formal mathematical problem statements sourced from the International Mathematical Olympiad (IMO) Shortlisted Problems. Designed to facilitate advanced automated theorem proving at the IMO…
In this note, we show that there exist solutions of the Muskat problem that shift stability regimes: they start unstable, then become stable, and finally return to the unstable regime. We also exhibit numerical evidence of solutions with…
These are notes based on a course that I gave at the University of Chicago in Fall 2016 on "Loop measures and the loop-erased random walk." This is not intended to be a comprehensive view but rather a personal selection of some key ideas…
These are extended notes of the course given by the author at RIMS, Kyoto, in October 2016. The aim is to give a self-contained overview on the recently developed approach to differential calculus on metric measure spaces. The effort is…
Case-based reasoning (CBR) as a methodology for problem-solving can use any appropriate computational technique. This position paper argues that CBR researchers have somewhat overlooked recent developments in deep learning and large…
These notes originated in a series of lectures I gave in Marseille in May, 2013. I was invited to give an introduction to the isomorphism theorems, originating with Dynkin, which connect Markov local times and Gaussian processes. This is an…
These lectures deal with the problem of inductive inference, that is, the problem of reasoning under conditions of incomplete information. Is there a general method for handling uncertainty? Or, at least, are there rules that could in…