Massin Guerdi

According to our database, Massin Guerdi authored at least 2 papers between 2024 and 2026.

Collaborative distances:

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

2026

A Lambda-Superposition Tactic for Isabelle/HOL.

Massin Guerdi

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

2024

Re-Envisioning Numerical Information Field Theory (NIFTy.re): A Library for Gaussian Processes and Variational Inference.

Gordian Edenhofer, Philipp Frank, Jakob Roth, Reimar H. Leike, Massin Guerdi, Lukas I. Scheel-Platz, Matteo Guardiani, Vincent Eberle, Margret Westerkamp, Torsten A. Enßlin

J. Open Source Softw., 2024