data61 / PSL

Other
65 stars 9 forks source link

Genetic_PaMpeR #183

Open yutakang opened 3 years ago

yutakang commented 3 years ago

We can preserve the tree structure. But we only have to change the weights using genetic algorithm.

DEAP might be of a help. But probably we should write the fitness function in Isabelle/ML.