Did a bit more research and results square with what you said. They both seem solid but NIST and friends seem to have concluded mlkem is the way