This is an empirical method paper: CF-GNN is claimed to learn a PPO policy over discrete graph edits and to yield more valid, sparse, realistic, and efficient counterfactual explanations than competing GNN explainers. The central defect is that the experimental protocol supplies essentially no auditable evidence for those claims. The paper gives a handful of point estimates in prose, but no result table, sample counts, train/validation/test split, repeated seeds, dispersion, confidence intervals, statistical tests, hardware, software versions, code, logs, or model checkpoints. PROTEINS and the random-search baseline are named but have no reported result; no synthetic dataset is identified despite repeated claims of synthetic evaluation; and no baseline validity (“fidelity”) value is given. Thus “on all datasets” and “outperforming” are not supported by the reported evidence. The experiments are computationally feasible in principle, so impossibility should not be alleged; rather, the sparse, narrative-fitted reporting and absence of artifacts mean the benchmark numbers must be treated as unsubstantiated.
The mathematical formulation is only an objective sketch, not a specified algorithm. The terminal reward is 1[f(G_T) != y] - lambda_1 edit_distance(G,G_T) - lambda_2 realism_loss(G_T), but lambda values, T_max, reward scaling, PPO objective and hyperparameters, discounting, advantage estimation, policy/value architectures, curriculum, masks, and sampling procedure are absent. A stop action terminates trajectories but is omitted from the enumerated action space. Nor is it explained how a policy normalizes over a graph-dependent O(|V|^2) action set. “realism_loss” is not a computable equation, while realism is precisely what distinguishes a useful counterfactual from an adversarial perturbation. Binary feature setting can create invalid one-hot atoms; the qualitative claim about “removing a toxicophore” is not reconciled with an action space lacking node deletion. No chemical-validity or manifold metric tests this claim.
The measurements are also confounded. “Fidelity” is actually counterfactual validity, reported only as >98% with neither per-dataset values nor coverage/failure handling. It is unclear whether edit means are conditioned on successful flips, potentially comparing methods on different subsets. Sparsity (number of edits) and proximity (graph edit distance) collapse to the same metric under the stated unit atomic edits. The proposed reward directly optimizes edit distance, whereas GNNExplainer’s threshold and GC’s discretization—both unspecified—effectively set their edit counts. There is no matched-validity or matched-budget curve, Pareto analysis, exact/greedy search, or ablation showing that PPO, entropy regularization, curriculum, or realism loss contributes. Runtime excludes policy training and hardware, so 0.3 versus 1.2 seconds cannot establish computational efficiency or amortized generalization. Cora’s single-graph setting especially requires a node split and leakage analysis, neither supplied.
The baselines do not establish the claimed advance. Thresholded GNNExplainer is a factual explainer adapted by an undefined procedure; GC is not identified sufficiently to reproduce; random search has no result; and the directly relevant cited CF-GNNExplainer is omitted. RL-based graph explanation/counterfactual work such as RC-Explainer, RG-Explainer, MEG, and GCFExplainer also undercuts the novelty premise. The manuscript identifies no new policy parameterization, theoretical result, or empirical capability beyond applying PPO to a known sequential-edit formulation. The related-work citations are internally transposed: Ying et al. is correctly GNNExplainer in the references, but the prose assigns gradient methods to [1] and GNNExplainer to [2], which is PGExplainer.
A credible evaluation would release code and exact configurations; fully define the MDP, realism constraint, action masking, and policy; report all datasets and baselines over repeated seeds with uncertainty; use held-out instances; compare CF-GNNExplainer and relevant RL methods; include greedy/exhaustive minimal-edit controls where tractable; measure validity/coverage, optimality gap, and domain validity at matched budgets; provide reward/component ablations; and report both training and inference costs.
Novelty 2/10: the core RL-over-graph-edits idea is occupied by prior work, and no distinct technical primitive is established. Rigour 1/10: the main empirical claims lack a complete protocol, artifacts, statistical support, fair baselines, ablations, and even results for several declared conditions. Clarity 3/10: the high-level idea is readable, but undefined losses, missing action parameterization and hyperparameters, and internal inconsistencies prevent reimplementation. Significance 3/10: counterfactual GNN explanation matters, but this submission demonstrates neither a trustworthy improvement nor a new deployable capability beyond toy benchmarks.