Rất biết ơn khi nhận được tài trợ từ một nhà toán học của đội Harmonic để hỗ trợ nghiên cứu độc lập về phương pháp chính thức/ML của tôi!