Guardado en:
| Autor principal: | Qu, Shuhui |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2601.20021 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Adaptive Test-Time Compute Allocation via Learned Heuristics over Categorical Structure
por: Qu, Shuhui
Publicado: (2026)
por: Qu, Shuhui
Publicado: (2026)
Active Epistemic Control for Query-Efficient Verified Planning
por: Qu, Shuhui
Publicado: (2026)
por: Qu, Shuhui
Publicado: (2026)
Teaching LLMs to Ask: Self-Querying Category-Theoretic Planning for Under-Specified Reasoning
por: Qu, Shuhui
Publicado: (2026)
por: Qu, Shuhui
Publicado: (2026)
Sheaf-Theoretic Planning: A Categorical Foundation for Resilient Multi-Agent Autonomous Systems
por: Hernández, Manuel, et al.
Publicado: (2026)
por: Hernández, Manuel, et al.
Publicado: (2026)
Toward Constraint Compliant Goal Formulation and Planning
por: Jones, Steven J., et al.
Publicado: (2024)
por: Jones, Steven J., et al.
Publicado: (2024)
SemanticForge: Repository-Level Code Generation through Semantic Knowledge Graphs and Constraint Satisfaction
por: Zhang, Wuyang, et al.
Publicado: (2025)
por: Zhang, Wuyang, et al.
Publicado: (2025)
Guided Discrete Diffusion for Constraint Satisfaction Problems
por: Jung, Justin
Publicado: (2025)
por: Jung, Justin
Publicado: (2025)
Learning with Logical Constraints but without Shortcut Satisfaction
por: Li, Zenan, et al.
Publicado: (2024)
por: Li, Zenan, et al.
Publicado: (2024)
Patch-aware Vector Quantized Codebook Learning for Unsupervised Visual Defect Detection
por: Cheng, Qisen, et al.
Publicado: (2025)
por: Cheng, Qisen, et al.
Publicado: (2025)
IPPON: Common Sense Guided Informative Path Planning for Object Goal Navigation
por: Qu, Kaixian, et al.
Publicado: (2024)
por: Qu, Kaixian, et al.
Publicado: (2024)
Multi-Attribute Constraint Satisfaction via Language Model Rewriting
por: Baheti, Ashutosh, et al.
Publicado: (2024)
por: Baheti, Ashutosh, et al.
Publicado: (2024)
A Planning Compilation to Reason about Goal Achievement at Planning Time
por: Pozanco, Alberto, et al.
Publicado: (2025)
por: Pozanco, Alberto, et al.
Publicado: (2025)
Fuzzy Propositional Formulas under the Stable Model Semantics
por: Lee, Joohyung, et al.
Publicado: (2025)
por: Lee, Joohyung, et al.
Publicado: (2025)
Goal-Space Planning with Subgoal Models
por: Lo, Chunlok, et al.
Publicado: (2022)
por: Lo, Chunlok, et al.
Publicado: (2022)
Semantic Environment Atlas for Object-Goal Navigation
por: Kim, Nuri, et al.
Publicado: (2024)
por: Kim, Nuri, et al.
Publicado: (2024)
Proposing Hierarchical Goal-Conditioned Policy Planning in Multi-Goal Reinforcement Learning
por: Rens, Gavin B.
Publicado: (2025)
por: Rens, Gavin B.
Publicado: (2025)
Goal Kernel Planning: Linearly-Solvable Non-Markovian Policies for Logical Tasks with Goal-Conditioned Options
por: Ringstrom, Thomas J., et al.
Publicado: (2020)
por: Ringstrom, Thomas J., et al.
Publicado: (2020)
Semantic Fusion with Fuzzy-Membership Features for Controllable Language Modelling
por: Huang, Yongchao, et al.
Publicado: (2025)
por: Huang, Yongchao, et al.
Publicado: (2025)
XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems
por: Boussemart, Frédéric, et al.
Publicado: (2020)
por: Boussemart, Frédéric, et al.
Publicado: (2020)
FourierCSP: Differentiable Constraint Satisfaction Problem Solving by Walsh-Fourier Expansion
por: Cen, Yunuo, et al.
Publicado: (2025)
por: Cen, Yunuo, et al.
Publicado: (2025)
A New Tractable Description Logic under Categorical Semantics
por: Duc, Chan Le, et al.
Publicado: (2025)
por: Duc, Chan Le, et al.
Publicado: (2025)
Exploring Large Language Models for Semantic Analysis and Categorization of Android Malware
por: Walton, Brandon J, et al.
Publicado: (2025)
por: Walton, Brandon J, et al.
Publicado: (2025)
Satisficing and Optimal Generalised Planning via Goal Regression (Extended Version)
por: Chen, Dillon Z., et al.
Publicado: (2025)
por: Chen, Dillon Z., et al.
Publicado: (2025)
Hier-SLAM: Scaling-up Semantics in SLAM with a Hierarchically Categorical Gaussian Splatting
por: Li, Boying, et al.
Publicado: (2024)
por: Li, Boying, et al.
Publicado: (2024)
Semantic F1 Scores: Fair Evaluation Under Fuzzy Class Boundaries
por: Chochlakis, Georgios, et al.
Publicado: (2025)
por: Chochlakis, Georgios, et al.
Publicado: (2025)
Logic-Based Artificial Intelligence Algorithms Supporting Categorical Semantics
por: Wojtowicz, Ralph
Publicado: (2025)
por: Wojtowicz, Ralph
Publicado: (2025)
Goal-Oriented Multi-Agent Semantic Networking: Unifying Intents, Semantics, and Intelligence
por: Chen, Shutong, et al.
Publicado: (2025)
por: Chen, Shutong, et al.
Publicado: (2025)
Hierarchical Reinforcement Learning in Multi-Goal Spatial Navigation with Autonomous Mobile Robots
por: Johnson, Brendon, et al.
Publicado: (2025)
por: Johnson, Brendon, et al.
Publicado: (2025)
Removing Planner Bias in Goal Recognition Through Multi-Plan Dataset Generation
por: Abdelwahed, Mustafa F., et al.
Publicado: (2026)
por: Abdelwahed, Mustafa F., et al.
Publicado: (2026)
Planning as Goal Recognition: Deriving Heuristics from Intention Models -- Extended Version
por: Rosa, Giacomo, et al.
Publicado: (2026)
por: Rosa, Giacomo, et al.
Publicado: (2026)
Transparent Semantic Spaces: A Categorical Approach to Explainable Word Embeddings
por: Fabregat-Hernández, Ares, et al.
Publicado: (2025)
por: Fabregat-Hernández, Ares, et al.
Publicado: (2025)
Goal Inference from Open-Ended Dialog
por: Ma, Rachel, et al.
Publicado: (2024)
por: Ma, Rachel, et al.
Publicado: (2024)
Double-Ended Synthesis Planning with Goal-Constrained Bidirectional Search
por: Yu, Kevin, et al.
Publicado: (2024)
por: Yu, Kevin, et al.
Publicado: (2024)
Trust the PRoC3S: Solving Long-Horizon Robotics Problems with LLMs and Constraint Satisfaction
por: Curtis, Aidan, et al.
Publicado: (2024)
por: Curtis, Aidan, et al.
Publicado: (2024)
ABS: Enforcing Constraint Satisfaction On Generated Sequences Via Automata-Guided Beam Search
por: Collura, Vincenzo, et al.
Publicado: (2025)
por: Collura, Vincenzo, et al.
Publicado: (2025)
AURA: A Diagnostic Framework for Tracking User Satisfaction of Interactive Planning Agents
por: Kim, Takyoung, et al.
Publicado: (2025)
por: Kim, Takyoung, et al.
Publicado: (2025)
Expedition & Expansion: Leveraging Semantic Representations for Goal-Directed Exploration in Continuous Cellular Automata
por: Khajehabdollahi, Sina, et al.
Publicado: (2025)
por: Khajehabdollahi, Sina, et al.
Publicado: (2025)
TIDE: A Trace-Informed Depth-First Exploration for Planning with Temporally Extended Goals
por: Suprun, Yuliia, et al.
Publicado: (2026)
por: Suprun, Yuliia, et al.
Publicado: (2026)
The Gauss-Markov Adjunction Provides Categorical Semantics of Residuals in Supervised Learning
por: Kamiura, Moto
Publicado: (2025)
por: Kamiura, Moto
Publicado: (2025)
Decentralized Multi-Agent Goal Assignment for Path Planning using Large Language Models
por: Ismayilov, Murad, et al.
Publicado: (2025)
por: Ismayilov, Murad, et al.
Publicado: (2025)
Ejemplares similares
-
Adaptive Test-Time Compute Allocation via Learned Heuristics over Categorical Structure
por: Qu, Shuhui
Publicado: (2026) -
Active Epistemic Control for Query-Efficient Verified Planning
por: Qu, Shuhui
Publicado: (2026) -
Teaching LLMs to Ask: Self-Querying Category-Theoretic Planning for Under-Specified Reasoning
por: Qu, Shuhui
Publicado: (2026) -
Sheaf-Theoretic Planning: A Categorical Foundation for Resilient Multi-Agent Autonomous Systems
por: Hernández, Manuel, et al.
Publicado: (2026) -
Toward Constraint Compliant Goal Formulation and Planning
por: Jones, Steven J., et al.
Publicado: (2024)