Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method.

Rahul Vishwakarma Subhankar Mishra

Published in: CoRR (2023)

Keyphrases

theorem proving
data sets
neural network
training data
data sources
network architecture
automated reasoning