Interpretable AI-Assisted Early Reliability Prediction for a Two-Parameter Parallel Root-Finding Scheme
Bruno Carpentieri, Andrei Velichko, Mudassir Shams, Paola Lecca

TL;DR
This paper introduces an interpretable AI framework that predicts the stability of a root-finding solver early in its iteration process, enabling timely decisions to improve computational efficiency.
Contribution
It presents a novel AI-assisted reliability diagnostic method combining proxy stability profiling and machine learning for early prediction in parameterized root-finding schemes.
Findings
Reliable early prediction achieved with high R^2 scores at few iterations
Predictive accuracy improves significantly with larger horizons
Inference costs are negligible, enabling real-time application
Abstract
We propose an interpretable AI-assisted reliability diagnostic framework for parameterized root-finding schemes based on kNN-LLE proxy stability profiling and multi-horizon early prediction. The approach augments a numerical solver with a lightweight predictive layer that estimates solver reliability from short prefixes of iteration dynamics, enabling early identification of stable and unstable parameter regimes. For each configuration in the parameter space, raw and smoothed proxy profiles of a largest Lyapunov exponent (LLE) estimator are constructed, from which contractivity-based reliability scores summarizing finite-time convergence are derived. Machine learning models predict the reliability score from early segments of the proxy profile, allowing the framework to determine when solver dynamics become diagnostically informative. Experiments on a two-parameter parallel root-finding…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsModel Reduction and Neural Networks · Parallel Computing and Optimization Techniques · Formal Methods in Verification
