working on a project to have jev as a lemma selector in a proof search task when scored against a BM25 heuristic.

working on a project to have jev as a lemma selector in a proof search task when scored against a BM25 heuristic. It's not winning by speed, but as proofs get more complicated i expect that to change because more accurate earlier choices will prune the tree more rapidly