Category

Academic

Academic · 1 min

CAMA: Exploring Collusive Adversarial Attacks in c-MARL

arXiv:2603.20390v1 Announce Type: new Abstract: Cooperative multi-agent reinforcement learning (c-MARL) has been widely deployed in real-world applications, such as social robots, embodied intelligence, UAV swarms, …

Men Niu, Xinxin Fan, Quanliang Jing, Shaoye Luo, Yunfeng Lu
5 views
Academic · 1 min

Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP

arXiv:2603.20405v1 Announce Type: new Abstract: We report on an experiment in which Claude Opus~4.6, equipped with a suite of Model Context Protocol (MCP) tools for …

Guillaume Baudart, Marc Lelarge, Tristan St\'erin, Jules Viennot
24 views