Ax Tomer Jordi Chaffer, Victor Jiawei Zhang, Sante Dino Facchini, Botao Amber Hu, Helena Rong, Zihan Guo, Xisen Wang, Carlos Santana, Giovanni De Gasperis 3/10/2026

Distributed Legal Infrastructure for a Trustworthy Agentic Web

Legal framework analysis for autonomous AI agents operating in web environments at machine speed.

Ax Dezhi Luo, Yijiang Li, Maijunxian Wang, Tianwei Zhao, Bingyang Wang, Siheng Wang, Pinyuan Feng, Pooyan Rahmanzadehgervi, Ziqiao Ma, Hokin Deng 3/10/2026

Vision Language Models Cannot Reason About Physical Transformation

ConservationBench evaluates vision-language models on understanding physical transformations and conservation properties in dynamic environments.

Ax Arvid Eriksson (KTH Royal Institute of Technology), Gabriel Poesia (Kempner Institute at Harvard University), Roman Bresson (Mohamed Bin Zayed University of Artificial Intelligence), Karl Henrik Johansson (KTH Royal Institute of Technology), David Broman (KTH Royal Institute of Technology) 3/10/2026

Learning to Rank the Initial Branching Order of SAT Solvers

Graph neural networks predict branching orders for SAT solvers as preprocessing step to improve CDCL solver efficiency.