Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework

Documenti analoghi

• DivLogicEval: A Framework for Benchmarking Logical Reasoning Evaluation in Large Language Models
  di: Chung, Tsz Ting, et al.
  Pubblicazione: (2025)
• FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
  di: Yu, Zhouliang, et al.
  Pubblicazione: (2025)
• A Multi-Faceted Evaluation Framework for Assessing Synthetic Data Generated by Large Language Models
  di: Yuan, Yefeng, et al.
  Pubblicazione: (2024)
• Natural Building Blocks for Structured World Models: Theory, Evidence, and Scaling
  di: Da Costa, Lancelot, et al.
  Pubblicazione: (2025)
• Provable Training Data Identification for Large Language Models
  di: Liu, Zhenlong, et al.
  Pubblicazione: (2025)