Efficient generator of mathematical expressions for symbolic regression

被引:6
|
作者
Meznar, Sebastian [1 ,2 ]
Dzeroski, Saso [1 ]
Todorovski, Ljupco [1 ,3 ]
机构
[1] Jozef Stefan Inst, Dept Knowledge Technol, Jamova Cesta 39, Ljubljana 1000, Slovenia
[2] Jozef Stefan Int Postgrad Sch, Jamova Cesta 39, Ljubljana 1000, Slovenia
[3] Univ Ljubljana, Fac Math & Phys, Jadranska 21, Ljubljana 1000, Slovenia
关键词
Symbolic regression; Equation discovery; Generative models; Variational autoencoders; Evolutionary algorithms;
D O I
10.1007/s10994-023-06400-2
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
We propose an approach to symbolic regression based on a novel variational autoencoder for generating hierarchical structures, HVAE. It combines simple atomic units with shared weights to recursively encode and decode the individual nodes in the hierarchy. Encoding is performed bottom-up and decoding top-down. We empirically show that HVAE can be trained efficiently with small corpora of mathematical expressions and can accurately encode expressions into a smooth low-dimensional latent space. The latter can be efficiently explored with various optimization methods to address the task of symbolic regression. Indeed, random search through the latent space of HVAE performs better than random search through expressions generated by manually crafted probabilistic grammars for mathematical expressions. Finally, EDHiE system for symbolic regression, which applies an evolutionary algorithm to the latent space of HVAE, reconstructs equations from a standard symbolic regression benchmark better than a state-of-the-art system based on a similar combination of deep learning and evolutionary algorithms.
引用
收藏
页码:4563 / 4596
页数:34
相关论文
共 50 条
  • [31] Symbolic Regression
    Lipovetsky, Stan
    TECHNOMETRICS, 2024, 66 (04) : 674 - 675
  • [32] Efficient simplification strategies for symbolic circuit expressions of linear analog integrated circuits
    Thanigaivelan, B
    Postula, A
    Ding, Y
    MICROELECTRONICS: DESIGN, TECHNOLOGY, AND PACKAGING II, 2006, 6035
  • [33] MATHEMATICAL EXPRESSIONS
    BLACHMAN, NM
    ELECTRONICS AND POWER, 1987, 33 (08): : 491 - 491
  • [34] MATHEMATICAL EXPRESSIONS
    CREW, EW
    ELECTRONICS AND POWER, 1987, 33 (05): : 304 - 304
  • [35] SYMBOLIC EXPANSION OF ALGEBRAIC EXPRESSIONS
    LEVINE, MJ
    SWANSON, SM
    COMMUNICATIONS OF THE ACM, 1970, 13 (03) : 191 - &
  • [36] Gradually Typed Symbolic Expressions
    Broman, David
    Siek, Jeremy G.
    PROCEEDINGS OF THE ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'18), 2018, : 15 - 29
  • [37] Symbolic Summation with Radical Expressions
    Kauers, Manuel
    Schneider, Carsten
    ISSAC 2007: PROCEEDINGS OF THE 2007 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 2007, : 219 - 226
  • [38] Association between facial expressions and symbolic expressions of emotion
    Liu, I-Tsen
    Sun, Chung-Shan
    WSEAS: ADVANCES ON APPLIED COMPUTER AND APPLIED COMPUTATIONAL SCIENCE, 2008, : 498 - +
  • [39] SAGe: A configurable code generator for efficient Symbolic Analysis of time-series
    Cerina L.
    Santambrogio M.D.
    ACM SIGBED Review, 2020, 17 (01) : 12 - 17
  • [40] EFFICIENT SYMBOLIC SIMULATION-BASED VERIFICATION USING THE PARAMETRIC FORM OF BOOLEAN EXPRESSIONS
    JAIN, P
    GOPALAKRISHNAN, G
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1994, 13 (08) : 1005 - 1015