LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models

Documenti analoghi

• Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
  di: Zhang, Yuanrui
  Pubblicazione: (2024)
• Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
  di: Brancas, Ricardo, et al.
  Pubblicazione: (2024)
• Separation Logic for Verifying Physical Collisions of CNC Programs
  di: Lee, Yeonseok
  Pubblicazione: (2026)
• Bounds for Quantum Circuits using Logic-Based Analysis
  di: Fauseweh, Benedikt, et al.
  Pubblicazione: (2024)
• Identifying the Achilles' Heel: An Iterative Method for Dynamically Uncovering Factual Errors in Large Language Models
  di: Wang, Wenxuan, et al.
  Pubblicazione: (2024)