Mine, mines, miners or mining may refer to:
Mine, mines, miners or mining may refer to:
==Extraction or digging== Miner, a person engaged in mining or digging Mining, extraction of mineral resources from the ground through a mine
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).