¡Muy agradecido de recibir un patrocinio de matemático del equipo de Harmonic para apoyar mi investigación independiente en métodos formales/ML!