System One lists NomaDamas’s public models here, with their original licences, until someone from NomaDamas runs this page. It is not NomaDamas’s own account.
A Korean typed-decision encoder: a fully fine-tuned SKT A.X Encoder with a span-pooling head takes a state plus choice, score and yes/no questions and returns probabilities in one forward pass. Its makers call it an in-domain fit that does not generalise.