Daniel Platt

According to our database, Daniel Platt authored at least 7 papers between 2018 and 2025.

Collaborative distances:

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

2025

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation.

Johannes Schmitt, Gergely Bérczi, Jasper Dekoninck, Jeremy Feusi, Tim Gehrunger, Raphael Appenzeller, Jim Bryan, Niklas Canova, Timo de Wolff, Filippo Gaia, Michel van Garrel, Baran Hashemi, David Holmes, Aitor Iribar Lopez, Victor Jaeck, Martina Jørgensen, Steven Kelk, Stefan Kuhlmann, Adam Kurpisz, Chiara Meroni, Ingmar Metzler, Martin Möller, Samuel Muñoz-Echániz, Robert Nowak, Georg Oberdieck, Daniel Platt, Dylan Possamaï, Gabriel Ribeiro, Raul Sanchez Galan, Zheming Sun, Josef Teichmann, Richard P. Thomas, Charles Vial

CoRR, September, 2025

Lower bounds for the reach and applications.

Daniel Platt, Raul Sanchez Galan

CoRR, May, 2025

A New Canonical Log-Euclidean Kernel for Symmetric Positive Definite Matrices for EEG Analysis (Oct 2024).

Gabriel Leander Wagner vom Berg, Vera Röhr, Daniel Platt, Benjamin Blankertz

IEEE Trans. Biomed. Eng., March, 2025

2024

Sybil attack vulnerability trilemma.

Moritz Platt, Daniel Platt, Peter McBurney

Int. J. Parallel Emergent Distributed Syst., July, 2024

2022

Group invariant machine learning by fundamental domain projections.

Benjamin Aslan, Daniel Platt, David Sheard

Proceedings of the NeurIPS Workshop on Symmetry and Geometry in Neural Representations, 2022

2021

The Energy Footprint of Blockchain Consensus Mechanisms Beyond Proof-of-Work.

Moritz Platt, Johannes Sedlmeir, Daniel Platt, Jiahua Xu, Paolo Tasca, Nikhil Vadgama, Juan Ignacio Ibañez

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2018

Doing Real Work with FHE: The Case of Logistic Regression.

Jack L. H. Crawford, Craig Gentry, Shai Halevi, Daniel Platt, Victor Shoup

Proceedings of the 6th Workshop on Encrypted Computing & Applied Homomorphic Cryptography, 2018