Vishwakarma, R., & Mishra, S. (2023). Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method.
Style de citation Chicago (17e éd.)Vishwakarma, Rahul, et Subhankar Mishra. Enhancing Neural Theorem Proving Through Data Augmentation and Dynamic Sampling Method. 2023.
Style de citation MLA (9e éd.)Vishwakarma, Rahul, et Subhankar Mishra. Enhancing Neural Theorem Proving Through Data Augmentation and Dynamic Sampling Method. 2023.
Attention : ces citations peuvent ne pas être correctes à 100%.