REVIEW 4 major objections 4 minor 14 references
A lightweight symbolic search can discover neural-network weight-update rules that beat hyperparameter-tuned standard optimizers on 25 of 30 small benchmark tasks.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-01 06:26 UTC pith:C24IZAOC
load-bearing objection Interesting idea, honest write-up, but the 25/30 claim isn't established because the search and the evaluation share the same single-seed MSE. the 4 major comments →
Searching the Space of Feed-Forward Neural-Network Weight-Update Rules with Fixed Depth Symbolic Regression
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that within a space of depth-5 symbolic expressions over operands derived from common optimizers — gradients, momentum velocities, running averages of squared gradients, and bias-corrected moment estimates — genetic-programming search finds update rules of the form w_{t+1} = f(operands) that beat the best hyperparameter-tuned baseline (SGD, heavy-ball, NAG, AdaGrad, RMSProp, AdaDelta, Adam, AdamW) in 25 of 30 benchmark/network combinations, with an aggregate MSE reduction of 44.47% over the improved cases. The discovered rules are compact but structurally diverse, often combining adaptive normalization, momentum-like terms, and nonlinear or rational expressions; four rec
What carries the argument
The engine is fixed-depth symbolic regression: a genetic programming search over expression trees of fixed depth 5, built from a fixed operator set (unary: -, ln, exp, cos, sin, sqrt, asin, acos, tanh; binary: +, -, *, /, ^) and a hand-chosen set of leaf operands that includes the current weight, gradient, momentum velocity, running and cumulative gradient statistics, and Adam-style bias-corrected moments. The operands are what carry prior optimizer knowledge into the search; the fixed depth and tight grammar keep candidate rules compact and interpretable, while seeding each new benchmark's population with the best rule from the previous benchmark lets the search transfer structure across ta
Load-bearing premise
The central claim rests on the assumption that measuring each candidate by its final MSE after exactly 10 epochs of training from a single random initialization, on the same benchmark data used to report results, is a faithful measure of optimizer quality — and that the Table 3 grid searches make the baselines genuinely 'best hyperparameter-tuned'.
What would settle it
Train the 25 discovered rules on the same benchmark/network pairs for 100 epochs, across 10 independent weight initializations, and compare the median final MSE against the same baselines re-tuned on validation data; if the discovered rules' advantage does not persist or the baselines catch up, the 25-of-30 result is an artifact of 10-epoch, single-seed evaluation rather than a property of the update rules.
If this is right
- If the claim holds, symbolic regression is a viable, low-cost way to discover optimizer variants in small-network settings, without hand-designing update rules.
- The existence of many algebraically distinct yet equally effective rules suggests large equivalence classes of update dynamics, which may explain why search succeeds despite structural diversity.
- The recurring expression signatures involving accumulated gradient statistics indicate that useful optimizers can be built from running-moment quantities plus nonlinear transforms — motifs that are not explicitly enforced.
- The concentration of failures in the largest architecture implies discovered rules' competitiveness degrades as model complexity grows, so scaling is the immediate open question.
- Because rules are explicit and compact, they can be inspected, simplified, and potentially transferred to related tasks via seeding.
Where Pith is reading between the lines
- One extension the authors leave implicit is using the discovered rules as initializers for a second round of search on the same task, which could reveal whether the signatures in Table 7 are local optima or reflect a deeper structure.
- Another extension: apply the same operand set to convolutional or recurrent architectures; the paper only tests fully-connected feed-forward nets, so whether these motifs transfer to other topologies is unknown.
- The four recurring signatures could be turned into a prior for a Bayesian or constrained search, potentially shrinking the effective search space by orders of magnitude.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes using fixed-depth symbolic regression to discover explicit neural-network weight-update rules. Candidate rules are expressed as expression trees of depth 5 over operators and operands derived from standard optimizers (gradient, momentum, AdaGrad, RMSProp, AdaDelta, Adam). A genetic-programming search is run for each of 30 benchmark/network combinations, with fitness defined as the final MSE after 10 epochs of training. The paper reports that the discovered rule beats the best grid-searched baseline in 25 of 30 combinations, with an aggregate MSE reduction of 44.47% over the improved cases, and notes qualitative regularities in the discovered expressions. The authors frame the work as a preliminary demonstration that symbolic regression can find compact optimizer variants.
Significance. If the empirical claim were established, the paper would be a useful contribution to meta-learning and optimizer discovery, complementing prior work such as Bello et al. and Chen et al. by using a lightweight symbolic search rather than learned controllers. The manuscript is clearly written, provides code links, and defines the search space and evaluation protocol in detail. However, the headline quantitative claim is not supported by the current evaluation protocol: the discovered rules are selected and reported on the same single-seed 10-epoch MSE used as the search fitness, and the baseline grids are uneven, with Adam/AdamW learning rates capped at values that are likely too small for the task. The paper is honest in its limitations section, but the abstract and conclusion still assert the 25/30 result as a finding. The contribution is therefore a plausible but unverified existence proof.
major comments (4)
- [§4.3 and Table 8] The fitness used to guide evolution is the 10-epoch final MSE on the same benchmark and random initialization that is later reported as 'Best Found Rule MSE' in Table 8. Evolution runs until 100 expressions outperform the baseline or improvement stagnates, so the reported value is the best of many single-seed evaluations. On a fixed seed, the best of many candidates will tend to beat the baseline even if the expected performance is no better. To support the 25/30 claim, the authors must evaluate the discovered rules on multiple independent initializations (ideally held-out data) and report means/confidence intervals, comparing against baselines selected under the same protocol.
- [Table 3] The baseline grid-search is lopsided. Adam and AdamW are restricted to η ≤ 1e-4, while GD reaches 3e-3, heavy-ball/NAG reach 1e-3, and AdaGrad reaches 3e-2. For 10-epoch training on small regression tasks, η = 1e-4 is typically far below useful Adam settings, so the 'best hyperparameter-tuned established optimizer' is artificially weak. Please expand the Adam/AdamW grids (e.g., include 1e-4, 3e-4, 1e-3, 3e-3) or allocate equal tuning budgets across optimizers and report the per-optimizer best.
- [§4.2 and Table 4] Both the baseline results in Table 4 and the discovered-rule results in Table 8 appear to be single runs with one random initialization. No repeated seeds, variance estimates, or significance tests are reported. Under this protocol, the observed margins (e.g., 3.51 vs. 2.46 in the first row) cannot be distinguished from initialization noise. The authors should run both baselines and discovered rules over several seeds and report medians or means with error bars; this is necessary before claiming systematic superiority.
- [§6, Abstract, and Conclusion] Section 6 explicitly states that the study is preliminary and lists missing generalization tests (larger architectures, longer training, classification, standard benchmarks). The abstract and conclusion nevertheless state unconditionally that symbolic regression 'found an update rule outperforming' baselines in 25/30 cases. This wording presents selected single-seed results as established fact. The claims should either be qualified to the specific evaluation protocol or, preferably, backed by the multi-seed validation recommended above.
minor comments (4)
- [Table 1] The AdaDelta row reports tree depth 1 with 2 inputs, which seems inconsistent with the expression given in Table 2; please verify the tree-depth counting and input list. Also standardize the spelling of AdaDelta (the text uses 'Adadelta' in places).
- [Table 4] The 'Best Rule' column uses names like 'basic' without definition in the caption. For AdaDelta and AdaGrad rows, no η is listed; clarify in the caption or table whether those hyperparameters are not applicable or were searched but not selected.
- [§4.3] The procedure for seeding populations with rules found in previous experiments is not fully specified. Which previous benchmark is used, and does this create dependence across the 30 runs? Also define what 'improvements in the best fitness became negligible' means quantitatively (e.g., tolerance and patience).
- [References] Several references lack complete publication details (e.g., [8] and [11] have no venue or DOI). The arXiv identifiers in [1], [2], [4], [10] would be more useful if expanded with year and version. Please harmonize the reference style.
Circularity Check
No equation-level circularity; the headline numbers are selected search outcomes rather than out-of-sample predictions.
full rationale
The paper makes no analytic derivation whose output is equivalent to its input by construction. The symbolic search evaluates candidate update rules with exactly the metric that is later reported: §2.3 states that each candidate is scored by 'updating the weights of a randomly initialized feed-forward neural network for an integer number of epochs using the generated weight-update rule, and computing its loss thereafter,' and §4.3 uses the same final MSE after 10 epochs for selection and for the reported 'Best Found Rule MSE.' This creates selection bias, not circularity: the search is selecting for low MSE and then reporting that low MSE, but it is not fitting a parameter and then predicting a closely related quantity. The paper explicitly frames the results as an empirical search rather than a validated prediction, and the Limitations section acknowledges that 'the discovered expressions are selected based on empirical performance rather than theoretical convergence guarantees' and that generalization to larger architectures and longer training horizons remains untested. The self-citations [6,7] supply the genetic-programming grammar and method, but the benchmark results are newly generated in this paper; no load-bearing conclusion rests on an unverified uniqueness theorem or on a prior result that already contains the present claim. The baselines are tuned by grid search, but this is a comparison protocol rather than a fitted input renamed as a prediction. The 44.47% aggregate reduction is computed only over the cases that improved, which is a reporting choice that inflates the headline but is not definitionally equivalent to the search objective. Overall, the central claim is an empirical finding with recognized selection and generalization limitations, and I find no specific circular step requiring a score above 2.
Axiom & Free-Parameter Ledger
free parameters (7)
- fixed expression-tree depth =
5
- max population size =
100
- evolution stopping thresholds =
unspecified
- optimizer hyperparameter initial values =
η=0.5, θ=0.01, γ=0.9, ϵ=1e-8, β1=0.9, β2=0.999
- fitness epoch budget =
10
- numeric constants in evolved expressions =
not enumerated in text
- baseline grid ranges =
see Table 3
axioms (5)
- domain assumption The genetic-programming/fixed-depth grammar implementation from [6,7] is correct and behaves as claimed.
- domain assumption Symbolic-regression fitness (MSE after 10 epochs on the benchmark data) is a valid enough measure of optimizer quality to select rules.
- domain assumption Operands from standard optimizers are sufficient building blocks for competitive update rules.
- domain assumption The benchmark functions and network architectures are representative enough to support the stated conclusion.
- standard math Standard optimizer formulas in §1 are correctly implemented.
read the original abstract
We investigate whether symbolic regression can discover explicit neural network weight-update rules that outperform standard hand-designed optimizers on small symbolic regression benchmarks. Candidate update rules are represented as fixed-depth symbolic expressions over operands derived from common optimizers, including gradient, momentum, adaptive-gradient, and moment-estimate quantities. Across 30 benchmark/neural network combinations, the symbolic regression procedure found an update rule outperforming the best hyperparameter-tuned established optimizer in 25 cases, with an aggregate MSE reduction of 44.47\% over the improved cases. The discovered rules do not all share a single common symbolic form, but many combine adaptive normalization, momentum-like quantities, nonlinear transformations, and rational expressions. These results suggest that symbolic regression can serve as a lightweight mechanism for discovering compact optimizer variants, while also highlighting the need for larger-scale validation.
Figures
Reference graph
Works this paper leans on
-
[1]
Andrychowicz, M., Denil, M., Gomez, S., Hoffman, M.W., Pfau, D., Schaul, T., Shillingford, B., de Freitas, N.: Learning to learn by gradient descent by gradient descent (2016), https://arxiv.org/abs/1606.04474
Pith/arXiv arXiv 2016
-
[2]
Bello, I., Zoph, B., Vasudevan, V., Le, Q.V.: Neural optimizer search with rein- forcement learning (2017), https://arxiv.org/abs/1709.07417
Pith/arXiv arXiv 2017
-
[3]
In: Touretzky, D.S., Elman, J.L., Sejnowski, T.J., Hin- ton, G.E
Chalmers, D.J.: The evolution of learning: An experiment in genetic connectionism. In: Touretzky, D.S., Elman, J.L., Sejnowski, T.J., Hin- ton, G.E. (eds.) Connectionist Models, pp. 81–90. Morgan Kaufmann (1991). https://doi.org/https://doi.org/10.1016/B978-1-4832-1448-1.50014-7, https://www.sciencedirect.com/science/article/pii/B9781483214481500147 FFN W...
-
[4]
Chen, X., Liang, C., Huang, D., Real, E., Wang, K., Liu, Y., Pham, H., Dong, X., Luong, T., Hsieh, C.J., Lu, Y., Le, Q.V.: Symbolic discovery of optimization algorithms (2023), https://arxiv.org/abs/2302.06675
Pith/arXiv arXiv 2023
-
[5]
Dahl, G.E., Schneider, F., Nado, Z., Agarwal, N., Sastry, C.S., Hennig, P., Medap- ati, S., Eschenhagen, R., Kasimbeg, P., Suo, D., Bae, J., Gilmer, J., Peirson, A.L., Khan, B., Anil, R., Rabbat, M., Krishnan, S., Snider, D., Amid, E., Chen, K., Maddison, C.J., Vasudev, R., Badura, M., Garg, A., Mattson, P.: Benchmarking neural network training algorithms...
Pith/arXiv arXiv 2023
-
[6]
Finkelstein, E.: Generalized fixed-depth prefix and postfix symbolic regression grammars (2024), https://arxiv.org/abs/2410.08137
Pith/arXiv arXiv 2024
-
[7]
Finkelstein, E.: Solving the 2d advection-diffusion equation using fixed-depth symbolic regression and symbolic differentiation without expression trees (2024), https://arxiv.org/abs/2411.00011
Pith/arXiv arXiv 2024
-
[8]
Gregor, K.: Finding online neural update rules by learning to remember (2020)
2020
-
[9]
In: IEEE Workshop and Summer School on Evolutionary Computing
Hemberg, E., McPhee, N., O’Neill, M., Brabazon, A.: Pre-, in-and postfix gram- mars for symbolic regression in grammatical evolution. In: IEEE Workshop and Summer School on Evolutionary Computing. vol. 2008, pp. 18–22 (2008)
2008
-
[10]
Real, E., Liang, C., So, D.R., Le, Q.V.: Automl-zero: Evolving machine learning algorithms from scratch (2020), https://arxiv.org/abs/2003.03384
Pith/arXiv arXiv 2020
-
[11]
In: 2000 IEEE Symposium on Combinations of Evolutionary Computation and Neural Networks
Runarsson, T., Jonsson, M.: Evolution and design of distributed learning rules. In: 2000 IEEE Symposium on Combinations of Evolutionary Computation and Neural Networks. Proceedings of the First IEEE Symposium on Combinations of Evolutionary Computation and Neural Networks (Cat. No.00. pp. 59–63 (2000). https://doi.org/10.1109/ECNN.2000.886220
arXiv 2000
-
[12]
In: IEEE International Conference on Neural Networks
Schmidhuber, J.: A neural network that embeds its own meta-levels. In: IEEE International Conference on Neural Networks. pp. 407–412 vol.1 (1993). https://doi.org/10.1109/ICNN.1993.298591
arXiv 1993
-
[13]
Udrescu, S.M., Tegmark, M.: Ai feynman: a physics-inspired method for symbolic regression (2020)
2020
-
[14]
Younger, A., Hochreiter, S., Conwell, P.: Meta-learning with backpropagation. vol. 3, pp. 2001 – 2006 vol.3 (02 2001). https://doi.org/10.1109/IJCNN.2001.938471
arXiv 2001
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.