{"id":"2312.14188","title":"Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method","url":"https://codeofpaper.com/paper/2312.14188","arxiv_url":"https://arxiv.org/abs/2312.14188","published":"2023-12-20","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}