The LFT-based scores and features are fed to a machine learning algorithm.
there are 477 features derived from the logic prover: • 9 LFT-based scores (3 × 3; three scores (2 directions and average), three LFT modes) pred.