paper-with-me

Papers

PyGlove: Symbolic Programming for Automated Machine Learning

2021-01-21 · NeurIPS 2020 12 · Daiyi Peng, Xuanyi Dong, Esteban Real, Mingxing Tan, Yifeng Lu, Hanxiao Liu, Gabriel Bender, Adam Kraft, Chen Liang, Quoc V. Le

Neural networks are sensitive to hyper-parameter and architecture choices. Automated Machine Learning (AutoML) is a promising paradigm for automating these choices. Current ML software libraries, however, are quite limited in handling the dynamic interactions among the components of AutoML. For example, efficientNAS algorithms, such as ENAS and DARTS, typically require an implementation coupling between the search space and search algorithm, the two key components in AutoML. Furthermore, implementing a complex search flow, such as searching architectures within a loop of searching hardware configurations, is difficult. To summarize, changing the search space, search algorithm, or search flow in current ML libraries usually requires a significant change in the program logic. In this paper, we introduce a new way of programming AutoML based on symbolic programming. Under this paradigm, ML programs are mutable, thus can be manipulated easily by another program. As a result, AutoML can be reformulated as an automated process of symbolic manipulation. With this formulation, we decouple the triangle of the search algorithm, the search space and the child program. This decoupling makes it easy to change the search space and search algorithm (without and with weight sharing), as well as to add search capabilities to existing code and implement complex search flows. We then introduce PyGlove, a new Python library that implements this paradigm. Through case studies on ImageNet and NAS-Bench-101, we show that with PyGlove users can easily convert a static program into a search space, quickly iterate on the search spaces and search algorithms, and craft complex search flows to achieve better results.

📄 PDF Abstract BibTeX arXiv:2101.08809

Code (0)

등록된 구현이 없습니다.

Tasks

AutoMLBIG-bench Machine Learning

Methods 이 논문이 사용한 방법론

DARTS Differentiable Architecture Search (DART) is a method for efficient architecture search. The search space is made continuous so that the architecture can be optimized with…

Similar Papers 제목 키워드 기반

PyGlove: Efficiently Exchanging ML Ideas as Code

2023-02-03 · Daiyi Peng, Xuanyi Dong, Esteban Real, Yifeng Lu 외

The increasing complexity and scale of machine learning (ML) has led to the need for more efficient collaboration among multiple teams. For example, when a research team invents a new architecture like "ResNet," it is de…

Symbolic Discovery of Stochastic Differential Equations with Genetic Programming

2026-03-10 · Sigur de Vries, Sander W. Keemink, Marcel A. J. van Gerven arxiv

Automated scientific discovery aims to improve scientific understanding through machine learning. A central approach in this field is symbolic regression, which uses genetic programming or sparse regression to learn inte…

Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc -- and We Can Do Better

2025-07-08 · Aaron Bembenek arxiv

There is growing excitement about building software verifiers, synthesizers, and other Automated Reasoning (AR) tools by combining traditional symbolic algorithms and Large Language Models (LLMs). Unfortunately, the curr…

Logical Reasoning

Automated Learning of Interpretable Models with Quantified Uncertainty

2022-04-12 · G. F. Bomarito, P. E. Leser, N. C. M Strauss, K. M. Garbrecht 외

Interpretability and uncertainty quantification in machine learning can provide justification for decisions, promote scientific discovery and lead to a better understanding of model behavior. Symbolic regression provides…

BIG-bench Machine LearningInterpretable Machine Learningregressionscientific discovery+2

Genetic Programming Based Symbolic Regression for Analytical Solutions to Differential Equations

2023-02-07 · Hongsup Oh, Roman Amici, Geoffrey Bomarito, Shandian Zhe 외

In this paper, we present a machine learning method for the discovery of analytic solutions to differential equations. The method utilizes an inherently interpretable algorithm, genetic programming based symbolic regress…

regressionSymbolic Regression