Designing GSK3β inhibitors under a 10,000-call budget

Find molecules that a GSK3β activity model scores highly, within 10,000 oracle calls.