learn from libraries (e.g. Lean's Mathlib) to rank & score useful premises, old & new - View it on GitHub