ProofInfer: Generating Proof via Iterative Hierarchical Inference.

Zichu Fei Qi Zhang Xin Zhou Tao Gui Xuanjing Huang

Published in: EMNLP (2022)

Keyphrases

hierarchical classification
hierarchical structure
coarse to fine
probabilistic inference
bayesian inference
theorem proving
bayesian model
bayesian networks
linear logic
data sets
data mining
artificial intelligence
information systems
generation process
hierarchical representation
max margin learning