(논문 요약) Faithful Logical Reasoning via Symbolic Chain-of-Thought (paper)

핵심 내용

• first order logic 을 LLM 의 Chain of Thought 에 추가하여 성능 향상
  
• task definition
  
• pipeline
  
  • Translator
    
  • Planner
    
  • Solver
    
  • Verifier
    

    실험 결과

•