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

432 citations

researchers with a paper here
collaborating institutions
Showing 2022Show all

5 papers · 1 filter

math.AT2022★ 1 cited

A reasonable notion of dimension for singular intersection homology

David Chataur, Martintxo Saralegi-Aranguren, Daniel Tanré

M. Goresky and R. MacPherson intersection homology is also defined from the singular chain complex of a filtered space by H. King, with a key formula to make selections among singu…

cond-mat.mtrl-sci2022★ 3 cited

Pressure induced antiferromagnetic-tetragonal to nonmagnetic-collapse-tetragonal insulator-metal transition in ThMnAsN

Smritijit Sen, Houria Kabbour, Haranath Ghosh

We report first principles numerical discovery of hydrostatic pressure driven tetragonal to collapsed tetragonal transition in 1111-type material ThMnAsN accompanied by simultaneou…

cs.AI2022★ 8 cited

ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations

Ryma Boumazouza, Fahima Cheikh-Alili, Bertrand Mazure +1

The ever increasing complexity of machine learning techniques used more and more in practice, gives rise to the need to explain the predictions and decisions of these models, often…

cs.AI2022★ 7 cited

A Symbolic Approach for Counterfactual Explanations

Ryma Boumazouza, Fahima Cheikh-Alili, Bertrand Mazure +1

In this paper titled A Symbolic Approach for Counterfactual Explanations we propose a novel symbolic approach to provide counterfactual explanations for a classifier predictions. C…

math.AC2022

Normality and associated primes of Closed neighborhood ideals and dominating ideals

Mehrdad Nasernejad, Somayeh Bandari, Leslie G. Roberts

In this paper, we first give some sufficient criteria for normality of monomial ideals. As applications, we show that closed neighborhood ideals of complete bipartite graphs are no…