2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LG2021★ 2 cited
Improving exploration in policy gradient search: Application to symbolic optimization
Mikel Landajuela, Brenden K. Petersen, Soo K. Kim +5
Many machine learning strategies designed to automate mathematical tasks leverage neural networks to search large combinatorial spaces of mathematical symbols. In contrast to tradi…
cs.LG2021★ 1 cited
Distilling Wikipedia mathematical knowledge into neural network models
Joanne T. Kim, Mikel Landajuela, Brenden K. Petersen
Machine learning applications to symbolic mathematics are becoming increasingly popular, yet there lacks a centralized source of real-world symbolic expressions to be used as train…