CLOMO: Counterfactual Logical Modification with Large Language Models

Documenti analoghi

• A Closer Look at the Self-Verification Abilities of Large Language Models in Logical Reasoning
  di: Hong, Ruixin, et al.
  Pubblicazione: (2023)
• Abstraction-of-Thought Makes Language Models Better Reasoners
  di: Hong, Ruixin, et al.
  Pubblicazione: (2024)
• FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
  di: Lin, Xiaohan, et al.
  Pubblicazione: (2024)
• ATG: Benchmarking Automated Theorem Generation for Generative Language Models
  di: Lin, Xiaohan, et al.
  Pubblicazione: (2024)
• Physics Reasoner: Knowledge-Augmented Reasoning for Solving Physics Problems with Large Language Models
  di: Pang, Xinyu, et al.
  Pubblicazione: (2024)