General Tasks and Extension-Based Proofs.

Yusong Shi Weidong Liu

Published in: CoRR (2023)

Keyphrases

special case
closely related
theorem proving
data sets
real time
image processing
np hard
transfer learning