Related papers: The L\"uroth problem
During the MaxEnt 2002 workshop in Moscow, Idaho, Tony Vignaux asked again a few simple questions about using Maximum Entropy or Bayesian approaches for the famous Dice problems which have been analyzed many times through this workshop and…
We investigate the stable and retract rationality of multinorm one tori associated to finite {\'e}tale algebras. Our results are organized according to the greatest common divisor $d$ of the degrees of the factors. We show that these tori…
We look at reasoning on GSM8k, a dataset of short texts presenting primary school, math problems. We find, with Mirzadeh et al. (2024), that current LLM progress on the data set may not be explained by better reasoning but by exposure to a…
As large language models (LLMs) reach high scores on established mathematical benchmarks, such as GSM8K and MATH, the research community has turned to International Mathematical Olympiad (IMO) problems to push the evaluation frontier.…
In recent years, explainability in machine learning has gained importance. In this context, counterfactual explanation (CE), which is an explanation method that uses examples, has attracted attention. However, it has been pointed out that…
Motivated by recent results of Lemou-M\'ehats-R\"aphael and Lemou concerning the quatitative stability of some suitable steady states for the Vlasov-Poisson system, we investigate the local uniqueness of steady states near these one. This…
Reasoning is key to many decision making processes. It requires consolidating a set of rule-like premises that are often associated with degrees of uncertainty and observations to draw conclusions. In this work, we address both the case…
Mathematics is changing. Computers are verifying proofs, checking calculations, and exploring complex structures that would overwhelm human effort. Yet curiosity-driven research is where tomorrow's breakthroughs are quietly prepared. In…
In this work, we present a novel approach to the mathematical analysis of equations with memory based on the notion of a state, namely, the initial configuration of the system which can be unambiguously determined by the knowledge of the…
This is an extended version of an invited lecture I gave at the Journees Arithmetiques in St. Etienne in July 2009. We discuss the state of the art regarding the problem of finding the set of rational points on a (smooth projective)…
An introduction is provided to some current research trends in stability in geometric invariant theory and the problem of Kaehler metrics of constant scalar curvature. Besides classical notions such as Chow-Mumford stability, the emphasis…
We congratulate the authors for the interesting paper. The reading has been really pleasant and instructive. We discuss briefly only some of the interesting results given in Devroye and James "On simulation and properties of the stable…
In this paper we study regularity estimates for the solution to an obstacle problem arising in stochastic impulse control theory. We prove using elementary methods the known sharp $C_{loc}^{1,1}$ estimate for the solution. The new proof is…
In this expository paper, which covers material presented at the NATO Advanced Study Institute "Nonlinear Analysis, Differential Equations, and Control" (Montreal, Jul/Aug 1998), we deal with several questions related to stability and…
On May 12th, 2020, during the course entitled Artificial Intelligence and Jurisdiction Practice organized by the Italian School of Magistracy, more than 70 magistrates followed our demonstration of a Prolog logical judge reasoning on an…
It is well known that a Leray's weak solution to the Navier-Stokes Cauchy problem enjoys a partial regularity which is known in the literature as the Th\'eor\`eme de Structure of a Leray's weak solution. As well, this result has been…
In this note, we show that there exist solutions of the Muskat problem which shift stability regimes in the following sense: they start stable, then become unstable, and finally return back to the stable regime. This proves existence of…
Linear logic was conceived in 1987 by Girard and, in contrast to classical logic, restricts the usage of the structural inference rules of weakening and contraction. With this, atoms of the logic are no longer interpreted as truth, but as…
We give a complete answer to the rationality problem (up to stable $k$-equivalence) for norm one tori $R^{(1)}_{K/k}(\mathbb{G}_m)$ of $K/k$ whose Galois closures $L/k$ are dihedral extensions with the aid of Endo and Miyata [EM75, Theorem…
Lecture notes reviewing most recent developments in string/M/brane theory given by C. G. at the CIME Summer International Center of Mathematics at Cetraro. July 1997.