Accelerating Legacy Numerical Solvers by Non-intrusive Gradient-based Meta-solving.

Sohei Arisaka Qianxiao Li

Published in: CoRR (2024)

Keyphrases

eigenvalue problems
meta reasoning
numerical data
search heuristics
sat solving
sensitivity analysis
constraint problems
data sets
reinforcement learning
search algorithm
evolutionary algorithm
exact solution
meta level
backtracking algorithm
numerically stable