DeepMartingale: Duality of the Optimal Stopping Problem with Expressivity