Tootfinder

Decomposition of Symmetrical Classes of Central Configurations
Marcelo P. Santos (Federal Rural University of Pernambuco), Leon D. da Silva (Federal Rural University of Pernambuco)
https://arxiv.org/abs/2508.02918

Decomposition of Symmetrical Classes of Central Configurations
We study central configurations when the set of positions is symmetric. We use a theorem from representation theory of finite groups to explore the symmetry properties of equations for central configurations. This approach simplifies equations for central configurations by considering arbitrary numbers of bodies, symmetry groups, and dimensions. We discuss how to use this theorem to obtain a more refined decomposition of the equations than that given before. The decomposition presented here use…

Leveraging LLMs for Semantic Conflict Detection via Unit Test Generation
Nathalia Barbosa (Centro de Inform\'atica, Universidade Federal de Pernambuco, Brasil), Paulo Borba (Centro de Inform\'atica, Universidade Federal de Pernambuco, Brasil), L\'euson Da Silva (Polytechnique Montreal, Canad\'a)
https://arxiv.org…

Leveraging LLMs for Semantic Conflict Detection via Unit Test Generation
Semantic conflicts arise when a developer introduces changes to a codebase that unintentionally affect the behavior of changes integrated in parallel by other developers. Traditional merge tools are unable to detect such conflicts, so complementary tools like SMAT have been proposed. SMAT relies on generating and executing unit tests: if a test fails on the base version, passes on a developer's modified version, but fails again after merging with another developer's changes, a semantic conflict…