Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions

Documenti analoghi

• Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku
  di: Maiya, Anirudh, et al.
  Pubblicazione: (2025)
• Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives
  di: Kazemi, Milad, et al.
  Pubblicazione: (2025)
• Show, Don't Tell: Learning Reward Machines from Demonstrations for Reinforcement Learning-Based Cardiac Pacemaker Synthesis
  di: Komp, John, et al.
  Pubblicazione: (2024)
• On the Potential and Limitations of Few-Shot In-Context Learning to Generate Metamorphic Specifications for Tax Preparation Software
  di: Srinivas, Dananjay, et al.
  Pubblicazione: (2023)
• A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs
  di: Perez, Mateo, et al.
  Pubblicazione: (2023)