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 条
  • [11] Mathematical Model of Glucose Metabolism by Symbolic Regression α β
    Torres-Trevino, Luis M.
    ADVANCES IN SOFT COMPUTING, MICAI 2016, PT II, 2017, 10062 : 185 - 190
  • [12] EFFICIENT ORDERING OF SET EXPRESSIONS FOR SYMBOLIC EXPANSION
    WORRELL, RB
    HULME, BL
    JOURNAL OF THE ACM, 1973, 20 (03) : 482 - 488
  • [13] Analysis of Cognitiv Complexity in Reading and Writing of Symbolic Mathematical Expressions
    Distefano, Maria L.
    Pochulu, Marcel D.
    Font, Vicenc
    REDIMAT-REVISTA DE INVESTIGACION EN DIDACTICA DE LAS MATEMATICAS, 2015, 4 (03): : 202 - +
  • [14] Development of a Mathematical Solution Environment to Understand Symbolic Expressions in Mathematics
    Kurokawa, Kai
    Tomoto, Takahito
    Horiguchi, Tomoya
    Hirashima, Tsukasa
    HUMAN INTERFACE AND THE MANAGEMENT OF INFORMATION: INFORMATION IN APPLICATIONS AND SERVICES, HIMI 2018 HELD AS PART OF HCII 2018, PART II, 2018, 10905 : 288 - 299
  • [15] Efficient guided symbolic reachability using reachability expressions
    Thomas, Dina
    Chakraborty, Supratik
    Pandya, Paritosh
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 120 - 134
  • [16] Efficient guided symbolic reachability using reachability expressions
    Dina Thomas
    Supratik Chakraborty
    Paritosh Pandya
    International Journal on Software Tools for Technology Transfer, 2008, 10 (2) : 113 - 129
  • [17] Symbolic-Numeric Integration of Univariate Expressions based on Sparse Regression
    Iravanian, Shahriar
    Martensen, Carl Julius
    Cheli, Alessandro
    Gowda, Shashi
    Jain, Anand
    Ma, Yingbo
    Rackauckas, Chris
    ACM COMMUNICATIONS IN COMPUTER ALGEBRA, 2022, 56 (02): : 84 - 87
  • [18] Efficient approximation of symbolic expressions for analog behavioral modeling and analysis
    Tan, SXD
    Shi, CJR
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2004, 23 (06) : 907 - 918
  • [19] LeakageVerif: Efficient and Scalable Formal Verification of Leakage in Symbolic Expressions
    Meunier, Quentin L.
    Pons, Etienne
    Heydemann, Karine
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2023, 49 (06) : 3359 - 3375
  • [20] Harmonia: A Unified Architecture for Efficient Deep Symbolic Regression
    Ma, Tianyun
    Wen, Yuanbo
    Song, Xinkai
    Jin, Pengwei
    Huang, Di
    Han, Husheng
    Nan, Ziyuan
    Yu, Zhongkai
    Peng, Shaohui
    Zhao, Yongwei
    Chen, Huaping
    Du, Zidong
    Hu, Xing
    Guo, Qi
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2025, 44 (02) : 737 - 750