output
20012026
most citedNopol: Automatic Repair of Conditional Statement Bugs in Java Programs

432 citations

Showing 2025Show all

11 papers · 1 filter

cs.AI2025

Generalizing Analogical Inference from Boolean to Continuous Domains

Francisco Cunha, Yves Lepage, Miguel Couceiro +1

Analogical reasoning is a powerful inductive mechanism, widely used in human cognition and increasingly applied in artificial intelligence. Formal frameworks for analogical inferen…

cs.AI2025

Proceedings of the 2025 XCSP3 Competition

Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca

This document represents the proceedings of the 2025 XCSP3 Competition. The results of this competition of constraint solvers were presented at CP'25 (31st International Conference…

cs.AI2025

Leveraging Association Rules for Better Predictions and Better Explanations

Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis +2

We present a new approach to classification that combines data and knowledge. In this approach, data mining is used to derive association rules (possibly with negations) from data.…

astro-ph.CO2025★ 1 cited

Deriving accurate galaxy cluster masses using X-ray thermodynamic profiles and graph neural networks

Asif Iqbal, Subhabrata Majumdar, Elena Rasia +4

Precise determination of galaxy cluster masses is crucial for establishing reliable mass-observable scaling relations in cluster cosmology. We employ graph neural networks (GNNs) t…

math.CO2025

Tridendriform and dendriform Zeta Values from Schroeder trees

Pierre Catoire, Pierre Clavier, Douglas Modesto da Fraga Candido

To build new generalisations of Multiple Zeta Values, we define new spaces of formal series and formal integrals. We show that they are tridendriform and dendriform algebras. This…

math.AT2025

Intersection homotopy, refinements and coarsenings

Martintxo Saralegi-Aranguren, Daniel Tanré

In previous works, we studied intersection homotopy groups associated to a Goresky and MacPherson perversity and a filtered space. They are defined as the homotopy groups of simpli…