Closed realxuyang closed 2 years ago
Thank you for your interest. The mining_pool_size is smaller than the train_sat_data_size, so we select minig_pool_size samples from a list of length train_sat_data_size. I do not see any problem here. Is there any misunderstanding?
I am closing this issue if there is no further question.
hello, line 431 of dataloader.py need self.mining_pool_size >= self.train_sat_data_size, so how to random.sample() a list of n elements from a seq shorter than n? Is this a typo?