mrs-train v0.2.3 — Offline training and dataset generation for ML-guided clause selection in MRS

Sign in to join the discussion — your thebay.events account works here.