leanAI

Results 2 comments of leanAI

> ``` > #if torch.cuda.is_available(): > # device = "cuda:0" > # > #else: > device = "cpu" > ``` > > It will then use the CPU and not...