Search for High-energy Neutrinos from Binary Neutron Star Merger GW170817 with ANTARES, IceCube, and the Pierre Auger Observatory | DocHero AI - Best paraphrasing and translation tool for academic and professional writing