Copertina

Project Patti: Why can You Solve Diabolical Puzzles on one Sudoku Website but not Easy Puzzles on another Sudoku Website?

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Eisenkolb-Vaithyanathan, Arman
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence I.2.8
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Partially Observable Reference Policy Programming: Solving POMDPs Sans Numerical Optimisation
di: Kim, Edward, et al.
Pubblicazione: (2025)

Dynamic Buffers: Cost-Efficient Planning for Tabletop Rearrangement with Stacking
di: Barghi, Arman, et al.
Pubblicazione: (2025)

HTN Plan Repair Algorithms Compared: Strengths and Weaknesses of Different Methods
di: Zaidins, Paul, et al.
Pubblicazione: (2025)

Optimization of Activity Batching Policies in Business Processes
di: López-Pintado, Orlenys, et al.
Pubblicazione: (2025)

Requirements for Recognition and Rapid Response to Unfamiliar Events Outside of Agent Design Scope
di: Wray, Robert E., et al.
Pubblicazione: (2025)

VIGIL: A Reflective Runtime for Self-Healing Agents
di: Cruz, Christopher
Pubblicazione: (2025)

On inferring cumulative constraints
di: Sidorov, Konstantin
Pubblicazione: (2026)

Calculating Ultra-Strong and Extended Solutions for Nine Men's Morris, Morabaraba, and Lasker Morris
di: Gévay, Gábor E., et al.
Pubblicazione: (2014)

Comprehensive Taxonomies of Nature- and Bio-inspired Optimization: Inspiration versus Algorithmic Behavior, Critical Analysis and Recommendations (from 2020 to 2024)
di: Molina, Daniel, et al.
Pubblicazione: (2020)

Relevance Score: A Landmark-Like Heuristic for Planning
di: Kim, Oliver, et al.
Pubblicazione: (2024)

Petri Net Relaxation for Infeasibility Explanation and Sequential Task Planning
di: Le, Nguyen Cong Nhat, et al.
Pubblicazione: (2026)

How To Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization
di: Sidorov, Konstantin, et al.
Pubblicazione: (2024)

Integrating Explanations in Learning LTL Specifications from Demonstrations
di: Gupta, Ashutosh, et al.
Pubblicazione: (2024)

Towards a Unified Framework for Sequential Decision Making
di: Núñez-Molina, Carlos, et al.
Pubblicazione: (2023)

LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction
di: George, Robert Joseph, et al.
Pubblicazione: (2025)

A Parallel Hybrid Action Space Reinforcement Learning Model for Real-world Adaptive Traffic Signal Control
di: Wang, Yuxuan, et al.
Pubblicazione: (2025)

Sketch Decompositions for Classical Planning via Deep Reinforcement Learning
di: Aichmüller, Michael, et al.
Pubblicazione: (2024)

EduQate: Generating Adaptive Curricula through RMABs in Education Settings
di: Tio, Sidney, et al.
Pubblicazione: (2024)

TrafficRAG: A Multimodal RAG Framework for Traffic Accident Liability Determination
di: Li, Xu, et al.
Pubblicazione: (2026)

Reducing Human-Robot Goal State Divergence with Environment Design
di: Sikes, Kelsey, et al.
Pubblicazione: (2024)

ChatGPT4PCG 2 Competition: Prompt Engineering for Science Birds Level Generation
di: Taveekitworachai, Pittawat, et al.
Pubblicazione: (2024)

Toward Constraint Compliant Goal Formulation and Planning
di: Jones, Steven J., et al.
Pubblicazione: (2024)

NeSIG: A Neuro-Symbolic Method for Learning to Generate Planning Problems
di: Núñez-Molina, Carlos, et al.
Pubblicazione: (2023)

Constrained Auto-Bidding via Generative Response Modeling
di: Yang, Eunseok, et al.
Pubblicazione: (2026)

Can Semantic Methods Enhance Team Sports Tactics? A Methodology for Football with Broader Applications
di: Di Rubbo, Alessio, et al.
Pubblicazione: (2026)

Learning to Select Goals in Automated Planning with Deep-Q Learning
di: Núñez-Molina, Carlos, et al.
Pubblicazione: (2024)

Planning with affordances: Integrating learned affordance models and symbolic planning
di: Mangannavar, Rajesh
Pubblicazione: (2025)

GRIP: A Unified Framework for Grid-Based Relay and Co-Occurrence-Aware Planning in Dynamic Environments
di: Alanazi, Ahmed, et al.
Pubblicazione: (2025)

To Help or Not to Help: LLM-based Attentive Support for Human-Robot Group Interactions
di: Tanneberg, Daniel, et al.
Pubblicazione: (2024)

AEROS: A Single-Agent Operating Architecture with Embodied Capability Modules
di: Qin, Xue, et al.
Pubblicazione: (2026)

Previous Knowledge Utilization In Online Anytime Belief Space Planning
di: Novitsky, Michael, et al.
Pubblicazione: (2024)

Task and Motion Planning for Execution in the Real
di: Pan, Tianyang, et al.
Pubblicazione: (2024)

3D-Anchored Lookahead Planning for Persistent Robotic Scene Memory via World-Model-Based MCTS
di: Sidik, Bronislav, et al.
Pubblicazione: (2026)

A Biased Random Key Genetic Algorithm for Solving the Longest Run Subsequence Problem
di: Blum, Christian, et al.
Pubblicazione: (2025)

From Next Token Prediction to (STRIPS) World Models
di: Núñez-Molina, Carlos, et al.
Pubblicazione: (2025)

Open-TI: Open Traffic Intelligence with Augmented Language Model
di: Da, Longchao, et al.
Pubblicazione: (2023)

PIRS: Physics-Informed Reward Shaping for SAC-Based Building Energy Management
di: Zaregarizi, Shadmehr, et al.
Pubblicazione: (2026)

An In-depth Study of LLM Contributions to the Bin Packing Problem
di: Herrmann, Julien, et al.
Pubblicazione: (2025)

Domain-Independent Dynamic Programming
di: Kuroiwa, Ryo, et al.
Pubblicazione: (2024)

Tulip Agent -- Enabling LLM-Based Agents to Solve Tasks Using Large Tool Libraries
di: Ocker, Felix, et al.
Pubblicazione: (2024)