Salvatore Mercuri

According to our database, Salvatore Mercuri authored at least 6 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics.

Moritz Firsching, Paul Lezeau, Salvatore Mercuri, Miklós Z. Horváth, Yaël Dillies, Calle Sönne, Eric Wieser, Fred Zhang, Thomas Hubert, Blaise Agüera y Arcas, Pushmeet Kohli

CoRR, May, 2026

2025

Formalising the local compactness of the adele ring.

Salvatore Mercuri

Ann. Formaliz. Math., 2025

2023

Agent-based Modelling of Credit Card Promotions.

Conor B. Hamill, Raad Khraishi, Simona Gherghel, Jerrard Lawrence, Salvatore Mercuri, Ramin Okhrati, Greig A. Cowan

CoRR, 2023

Conformal Predictions for Longitudinal Data.

Devesh Batra, Salvatore Mercuri, Raad Khraishi

CoRR, 2023

Modelling customer lifetime-value in the retail banking industry.

Greig A. Cowan, Salvatore Mercuri, Raad Khraishi

CoRR, 2023

2022

An Introduction to Machine Unlearning.

Salvatore Mercuri, Raad Khraishi, Ramin Okhrati, Devesh Batra, Conor Hamill, Taha Ghasempour, Andrew Nowlan

CoRR, 2022