Learning to Prove Trigonometric Identities.

Zhou Liu Yujun Li Zhengying Liu Lin Li Zhenguo Li

Published in: CoRR (2022)

Keyphrases

learning process
incremental learning
learning systems
supervised learning
prior knowledge
active learning
data sets
inductive learning
basis functions
unsupervised learning
online learning
reinforcement learning
real world
pairwise
learning algorithm
data mining
databases
database
elementary school
learning phase