Marius may refer to:
==People== Marius (name), a male given name, a Roman clan name and family name, and a modern name or surname Gaius Marius (–86 BC), Roman statesman, seven times consul. Marcus Aurelius Marius, emperor of the Gallic Empire, 269
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).