We stand with Ukraine  

Christophe Vauthier

According to our database1, Christophe Vauthier authored at least 5 papers between 2023 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
The QSMA Algorithm for Quantifiers in SMT.
[BibTeX]
[DOI]
Maria Paola Bonacina
,
Stéphane Graham-Lengrand
,
Christophe Vauthier
J. Autom. Reason., June, 2025

Properties of Wasserstein Gradient Flows for the Sliced-Wasserstein Distance.
[BibTeX]
[DOI]
Christophe Vauthier
,
Quentin Mérigot
,
Anna Korba
CoRR, February, 2025

Towards Understanding Gradient Dynamics of the Sliced-Wasserstein Distance via Critical Point Analysis.
[BibTeX]
[DOI]
Christophe Vauthier
,
Anna Korba
,
Quentin Mérigot
Proceedings of the Forty-second International Conference on Machine Learning, 2025

Flowing Datasets with Wasserstein over Wasserstein Gradient Flows.
[BibTeX]
[DOI]
Clément Bonet
,
Christophe Vauthier
,
Anna Korba
Proceedings of the Forty-second International Conference on Machine Learning, 2025

2023
QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment.
[BibTeX]
[DOI]
Maria Paola Bonacina
,
Stéphane Graham-Lengrand
,
Christophe Vauthier
Proceedings of the Automated Deduction - CADE 29, 2023


  Loading...