Abstract
The recent developments of modern probabilistic programming languages have enabled the combination of pattern recognition engines implemented by neural networks to guide inference over explanatory factors written as symbols in probabilistic programs. We argue that learning to invert fixed generative programs, instead of learned ones, places stronger restrictions on the representations learned by feature extraction networks, which reduces the space of latent hypotheses and enhances training efficiency. To empirically demonstrate this, we investigate a neurosymbolic object-centric representation learning approach that combines a slot-based neural module optimized via inference compilation to invert a prior generative program of scene generation. By amortizing the search over posterior hypotheses, we demonstrate that approximate inference using data-driven sequential Monte Carlo methods achieves competitive results when compared to state-of-the-art fully neural baselines while requiring several times fewer training steps. © 2026, Transactions on Machine Learning Research. All rights reserved.

Abstract

Abstract
Software ecosystems have emerged as a paradigm to structure software products, communities and business models, in a form inspired by the natural ecosystems. Mobility solutions are also evolving from individual vehicles to soft mobility services based on electric vehicles. This paper aims to address the creation of a software platform to support an ecosystem of mobility solutions-the Intelligent Mobility Ecosystem, based on connected electric vehicles. It follows the paradigm of software ecosystems, in which a technological platform provides the functionalities needed to create solutions within the ecosystem. The work being carried out is part of the A-Mover project, which aims to develop a connected electric motorcycle and electronic services to support driving and use of the vehicle in individual and business contexts. The aim is to develop a set of functionalities around the vehicle to create specific mobility solutions. The concept of a software ecosystem is reviewed below and the proposed architecture for the software platform that will support the ecosystem is described.

Abstract

Abstract
As competitive and cooperative dynamics gain prominence in games, they present unique opportunities to study player behavior. This paper explores the orientations of different player types, as categorized by Bartles Taxonomy, through the lens of a Game With A Purpose (GWAP) called BartleZ. Bartle's Taxonomy identifies four distinct player types Achievers, Explorers, Socializers, and Killers. This study delves into how these different types approach competitive and cooperative gameplay, through structured dilemmas in BartleZ. Results with 45 participants, reveal that player orientations significantly influence engagement and decision-making. Achievers balanced both strategies; Explorers favored cooperation; Socializers consistently chose cooperation; and Killers preferred competition but adapted in some contexts. Overall, players leaned toward cooperation early on, with a shift toward competition as complexity increased. Our findings pinpoint the importance of tailoring GWAP mechanics with diverse player motivations, enhancing both engagement and problem-solving effectiveness.

Abstract
Counterfactual explanations (CFs) help users understand and act on black-box machine learning decisions by suggesting minimal changes to achieve a desired outcome. However, existing methods often ignore individual feasibility, leading to unrealistic or unactionable recommendations. We propose a personalized CF generation method based on cluster-specific fine-tuning of Generative Adversarial Networks (GANs). By grouping users with similar behavior and constraints, we adapt immutable features and cost weights per cluster, allowing GANs to generate more actionable and user-aligned counterfactuals. Experiments on the German Credit dataset show that our approach achieves a 6x improvement in prediction gain and a 30% reduction in sparsity compared to a baseline CounterGAN, while maintaining plausibility and acceptable latency for online use.