The 'decompose-and-formalise' framework addresses scaling and refinement issues in natural language inference by: (i) decomposing premise-hypothesis pairs into an entailment tree of atomic steps, (ii) verifying the tree bottom-up to isolate failures to specific nodes, and (iii) performing local diagnostic-guided refinement instead of regenerating the whole explanation.

Authors

• Person: Not available Organization: Hugging Face
  Daily Papers - Hugging Face

Sources

• Daily Papers - Hugging Face huggingface.co Hugging Face via serper

Referenced by nodes (1)

• natural language inference (NLI) concept