Prover: Generating Intermediate Steps for NLI with Commonsense Knowledge Retrieval and Next-Step Prediction.
Deepanway GhosalSomak AdityaMonojit ChoudhuryPublished in: IJCNLP (1) (2023)
Keyphrases
- knowledge retrieval
- intermediate steps
- prediction accuracy
- conceptual design
- post processing
- prediction model
- prediction error
- prediction algorithm
- preprocessing step
- database
- theorem proving
- input data
- computational complexity
- predictive model
- information systems
- automatically generating
- information retrieval
- commonsense reasoning
- databases