Provably Efficient Cooperative Multi-Agent Reinforcement Learning with Function Approximation