Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions

Ähnliche Einträge

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