search

data61 / PSL

Other
65 stars 9 forks source link

SeLFiE: analyse the performance of smart_induct and semantic_induct exclusively for those induction tactics with generalisation. #177

Closed yutakang closed 3 years ago

yutakang commented 4 years ago

I think that will give us more intuition about the usefulness of SeLFiE for writing generalisation heuristics.

yutakang commented 3 years ago

I focused on Nearest_Neighbour in our draft.