Tootfinder

Verifying International Agreements on AI: Six Layers of Verification for Rules on Large-Scale AI Development and Deployment
Mauricio Baker, Gabriel Kulp, Oliver Marks, Miles Brundage, Lennart Heim
https://arxiv.org/abs/2507.15916

Verifying International Agreements on AI: Six Layers of Verification for Rules on Large-Scale AI Development and Deployment
The risks of frontier AI may require international cooperation, which in turn may require verification: checking that all parties follow agreed-on rules. For instance, states might need to verify that powerful AI models are widely deployed only after their risks to international security have been evaluated and deemed manageable. However, research on AI verification could benefit from greater clarity and detail. To address this, this report provides an in-depth overview of AI verification, inte…

One Million Rising:
Strategic Non-Cooperation to Fight Authoritarianism
· Hosted by No Kings
Wednesdays
8 – 9pm EDT
Virtual event
Join from anywhere
https://www.mobilize.us/indivisible/event/803953/

One Million Rising: Strategic Non-Cooperation to Fight Authoritarianism · Indivisible
Across the country, authoritarian forces are getting bolder and more dangerous. Trump and his allies are not hiding their agenda: mass deportations, rollbacks of civil rights, weaponized courts, and full-scale attacks on our democracy. We don’t have to wait until it’s too late. We can stop this. But it’ll take all of us—not just on single days of mass action, but through sustained organizing in our communities. That’s why this summer, we’re launching One Million Rising—a national…

Swarm-STL: A Framework for Motion Planning in Large-Scale, Multi-Swarm Systems
Shiyu Cheng, Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran
https://arxiv.org/abs/2506.14749

Swarm-STL: A Framework for Motion Planning in Large-Scale, Multi-Swarm Systems
In multi-agent systems, signal temporal logic (STL) is widely used for path planning to accomplish complex objectives with formal safety guarantees. However, as the number of agents increases, existing approaches encounter significant computational challenges. Recognizing that many complex tasks require cooperation among multiple agents, we propose swarm STL specifications to describe the collective tasks that need to be achieved by a team of agents. Next, we address the motion planning problem…

"Terry Virts’ maiden Space Shuttle mission was the final assembly flight for the International Space Station (ISS), a historic milestone in post-Cold War collaboration with Russia. Now he’s calling for NASA to scale back its cooperation with Moscow, due to Russia’s ongoing invasion of Ukraine."
Retired US Astronaut Calls For Reduced ISS Cooperation With Russia
https://www.rferl.org/a/iss-russia-nasa-ukraine/33427545.html

Phase transitions in the Prisoner's Dilemma game on the Barab\'asi-Albert graph with participation cost
Jacek Mi\c{e}kisz, Javad Mohamadichamgavi
https://arxiv.org/abs/2505.23370

Phase transitions in the Prisoner's Dilemma game on the Barabási-Albert graph with participation cost
We examine the impact of the maintenance cost of social links on cooperative behavior in the Prisoner's Dilemma game on the Barabási-Albert scale-free network with a pairwise stochastic imitation. We show by means of Monte Carlo simulations and pair approximation that the cooperation frequency changes abruptly from an almost full cooperation to a much smaller value when we increase the cost of maintaining links. In the critical region, the stationary distribution is bi-modal and the system osc…