Formal Science

Our research in formal science is focused on the development of new algorithms and models for various tasks, including multi-agent reinforcement learning, graph learning, and more.