Automated Refutation with Monte Carlo Search of Graph Theory Conjectures on the Maximum Laplacian Eigenvalue. - Liora Taieb; Milo Roucairol; Tristan Cazenave; Ararat Harutyunyan (LION (1), 2025)