Short proofs of ideal membership.

Clemens Hofstadler Thibaut Verron

Published in: CoRR (2023)

Keyphrases

theorem prover
neural network
data mining
machine learning
theorem proving
formal proofs
database
decision procedures