Tootfinder

Repairing General Game Descriptions (extended version)
Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher
https://arxiv.org/abs/2508.10438 http…

Repairing General Game Descriptions (extended version)
The Game Description Language (GDL) is a widely used formalism for specifying the rules of general games. Writing correct GDL descriptions can be challenging, especially for non-experts. Automated theorem proving has been proposed to assist game design by verifying if a GDL description satisfies desirable logical properties. However, when a description is proved to be faulty, the repair task itself can only be done manually. Motivated by the work on repairing unsolvable planning domain descript…

Ukrainian 'cyber revenge' hack disrupts Russian election systems, HUR source claims: https://benborges.xyz/2025/09/15/ukrainian-cyber-revenge-hack-disrupts.html

The US is punishing UN Special Rapporteur Francesca Albanese
for her scathing reports on Israel’s genocide in Gaza.
She Deserves a Nobel Prize, Not US Sanctions
https://truthout.org/articles/ex-un-special-rapporteur-fra…

Ex-UN Special Rapporteur: Francesca Albanese Deserves Nobel Prize, Not Sanctions
The US is punishing UN Special Rapporteur Francesca Albanese for her scathing reports on Israel’s genocide in Gaza.

Ukraine claims cyberattacks on Russian election systems; Moscow confirms disruptions
https://therecord.media/ukraine-claims-ddos-attack-russian-election-system

Ukraine claims cyberattacks on Russian election systems; Moscow confirms disruptions
Ukraine said it was responsible for disrupting websites related to Russian election infrastructure as voters went to the polls in occupied territories.

Former Browns Pro Bowler without a job clearly deserves a training camp invite https://fansided.com/nfl/former-browns-pro-bowler-without-a-job-clearly-deserves-a-training-camp-invite

Europol and Eurojust disrupt pro-Russian hacktivist group NoName057(16), which claimed responsibility for 1,000 DDoS attacks since 2022, and arrest two people (Jordan Robertson/Bloomberg)
https://www.bloomberg.com/news/articles/20

Understanding AI Evaluation Patterns: How Different GPT Models Assess Vision-Language Descriptions
Sajjad Abdoli, Rudi Cilibrasi, Rima Al-Shikh
https://arxiv.org/abs/2509.10707 …

Understanding AI Evaluation Patterns: How Different GPT Models Assess Vision-Language Descriptions
As AI systems increasingly evaluate other AI outputs, understanding their assessment behavior becomes crucial for preventing cascading biases. This study analyzes vision-language descriptions generated by NVIDIA's Describe Anything Model and evaluated by three GPT variants (GPT-4o, GPT-4o-mini, GPT-5) to uncover distinct "evaluation personalities" the underlying assessment strategies and biases each model demonstrates. GPT-4o-mini exhibits systematic consistency with minimal variance, GPT-4o ex…

The Potential Impact of Disruptive AI Innovations on U.S. Occupations
Munjung Kim, Marios Constantinides, Sanja \v{S}\'cepanovi\'c, Yong-Yeol Ahn, Daniele Quercia
https://arxiv.org/abs/2507.11403

The Potential Impact of Disruptive AI Innovations on U.S. Occupations
The rapid rise of AI is poised to disrupt the labor market. However, AI is not a monolith; its impact depends on both the nature of the innovation and the jobs it affects. While computational approaches are emerging, there is no consensus on how to systematically measure an innovation's disruptive potential. Here, we calculate the disruption index of 3,237 U.S. AI patents (2015-2022) and link them to job tasks to distinguish between "consolidating" AI innovations that reinforce existing structu…

A Procedural Framework for Assessing the Desirability of Process Deviations
Michael Grohs, Nadine Cordes, Jana-Rebecca Rehse
https://arxiv.org/abs/2506.11525

A Procedural Framework for Assessing the Desirability of Process Deviations
Conformance checking techniques help process analysts to identify where and how process executions deviate from a process model. However, they cannot determine the desirability of these deviations, i.e., whether they are problematic, acceptable or even beneficial for the process. Such desirability assessments are crucial to derive actions, but process analysts typically conduct them in a manual, ad-hoc way, which can be time-consuming, subjective, and irreplicable. To address this problem, this…

Multi-sectoral Impacts of H2 and Synthetic Fuels Adoption for Heavy-duty Transportation Decarbonization
Youssef Shaker, Jun Wen Law, Audun Botterud, Dharik Mallapragada
https://arxiv.org/abs/2509.10734

Multi-sectoral Impacts of H2 and Synthetic Fuels Adoption for Heavy-duty Transportation Decarbonization
Policies focused on deep decarbonization of regional economies emphasize electricity sector decarbonization alongside electrification of end-uses. There is growing interest in utilizing hydrogen (H2) produced via electricity to displace fossil fuels in difficult-to-electrify sectors. One such case is heavy-duty vehicles (HDV), which represent a substantial and growing share of transport emissions as light-duty vehicles electrify. Here, we assess the bulk energy system impact of decarbonizing th…