6 citations · 11 across the 6 of their papers we have counts for
9 papers
Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
Moritz Firsching, Paul Lezeau, Salvatore Mercuri +8
As automated reasoning systems advance rapidly, there is a growing need for research-level formal mathematical problems to accurately evaluate their capabilities. To address this,…
Formalising the local compactness of the adele ring
Salvatore Mercuri
The adele ring of a number field is a central object in modern number theory. Its status as a locally compact topological ring is one of the key reasons why. We describe a formal p…
Agent-based Modelling of Credit Card Promotions
Conor B. Hamill, Raad Khraishi, Simona Gherghel +4
Interest-free promotions are a prevalent strategy employed by credit card lenders to attract new customers, yet the research exploring their effects on both consumers and lenders r…
Conformal Predictions for Longitudinal Data
Devesh Batra, Salvatore Mercuri, Raad Khraishi
We introduce Longitudinal Predictive Conformal Inference (LPCI), a novel distribution-free conformal prediction algorithm for longitudinal data. Current conformal prediction approa…
Modelling customer lifetime-value in the retail banking industry
Greig Cowan, Salvatore Mercuri, Raad Khraishi
Understanding customer lifetime value is key to nurturing long-term customer relationships, however, estimating it is far from straightforward. In the retail banking industry, comm…
An Introduction to Machine Unlearning
Salvatore Mercuri, Raad Khraishi, Ramin Okhrati +4
Removing the influence of a specified subset of training data from a machine learning model may be required to address issues such as privacy, fairness, and data quality. Retrainin…
-adic -functions on metaplectic groups
Salvatore Mercuri
With respect to the analytic-algebraic dichotomy, the theory of Siegel modular forms of half-integral weight is lopsided; the analytic theory is strong whereas the algebraic lags b…
On the Rankin-Selberg method for vector valued Siegel modular forms
Thanasis Bouganis, Salvatore Mercuri
In this work we use the Rankin-Selberg method to obtain results on the analytic properties of the standard -function attached to vector valued Siegel modular forms. In particula…
Algebraicity of metaplectic -functions
Salvatore Mercuri
Notable results on the special values of -functions of Siegel modular forms were obtained by J. Sturm in the case when the degree is even and the weight is an integer. I…