¡Estoy muy agradecido de recibir el patrocinio de un matemático del equipo de Harmonic para apoyar mi investigación independiente en métodos formales y aprendizaje automático!