Integrating large language models with theorem provers in neuro-symbolic pipelines assists with entailment verification and proof-guided refinement of explanations for natural language inference.

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 (2)

• Large Language Models concept
• natural language inference (NLI) concept