:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kuroiwa, Ryo, Beck, J. Christopher
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence F.2.2; I.2.8
Online Access:	https://arxiv.org/abs/2401.13883
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Column Generation Using Domain-Independent Dynamic Programming
by: Kuroiwa, Ryo, et al.
Published: (2025)

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

On the Completeness of Conflict-Based Search: Temporally-Relative Duplicate Pruning
by: Walker, Thayne T, et al.
Published: (2024)

On Dynamic Programming Theory for Leader-Follower Stochastic Games
by: Dibangoye, Jilles Steeve, et al.
Published: (2025)

REMoH: A Reflective Evolution of Multi-objective Heuristics approach via Large Language Models
by: Forniés-Tabuenca, Diego, et al.
Published: (2025)

Scalability Optimization in Cloud-Based AI Inference Services: Strategies for Real-Time Load Balancing and Automated Scaling
by: Jin, Yihong, et al.
Published: (2025)

Random-Key Algorithms for Optimizing Integrated Operating Room Scheduling
by: Vieira, Bruno Salezze, et al.
Published: (2025)

Diffusion-MPC in Discrete Domains: Feasibility Constraints, Horizon Effects, and Critic Alignment: Case study with Tetris
by: Wang, Haochuan Kevin
Published: (2026)

CoupleEvo: Evolving Heuristics for Coupled Optimization Problems Using Large Language Models
by: Bömer, Thomas, et al.
Published: (2026)

Toward Intelligent and Secure Cloud: Large Language Model Empowered Proactive Defense
by: Zhou, Yuyang, et al.
Published: (2024)

STERN: Simultaneous Trajectory Estimation and Relative Navigation for Autonomous Underwater Proximity Operations
by: Espinoza, Aldo Terán, et al.
Published: (2023)

PAPN: Proximity Attention Encoder and Pointer Network Decoder for Parcel Pickup Route Prediction
by: Denis, Hansi, et al.
Published: (2025)

Certified Pruning from Counterfactual Consistency: Exact Certificates and Structured SAT Families
by: von Liechtenstein, Maximilian Ralph Peter
Published: (2025)

Toward Cyclic A.I. Modelling of Self-Regulated Learning: A Case Study with E-Learning Trace Data
by: Schwabe, Andrew, et al.
Published: (2025)

StepScorer: Accelerating Reinforcement Learning with Step-wise Scoring and Psychological Regret Modeling
by: Xu, Zhe
Published: (2026)

Graph-Coarsening Approach for the Capacitated Vehicle Routing Problem with Time Windows
by: Özyılmaz, Mustafa Mert
Published: (2025)

IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning
by: Nieuwenhuis, Robert, et al.
Published: (2024)

Evolving Programmatic Skill Networks
by: Shi, Haochen, et al.
Published: (2026)

The Rectilinear Marco Polo Problem
by: Gila, Ofek, et al.
Published: (2025)

Test Case Features as Hyper-heuristics for Inductive Programming
by: McDaid, Edward, et al.
Published: (2024)

Data Verification is the Future of Quantum Computing Copilots
by: Song, Junhao, et al.
Published: (2026)

Relative Navigation and Dynamic Target Tracking for Autonomous Underwater Proximity Operations
by: Baxter, David, et al.
Published: (2025)

Maximizing Rollout Informativeness under a Fixed Budget: A Submodular View of Tree Search for Tool-Use Agentic Reinforcement Learning
by: Hu, Yuelin, et al.
Published: (2026)

Instruction and Solution Probabilities as Heuristics for Inductive Programming
by: McDaid, Edward, et al.
Published: (2025)

Murphys Laws of AI Alignment: Why the Gap Always Wins
by: Gaikwad, Madhava
Published: (2025)

Independent Distributions on a Multi-Branching AND-OR Tree of Height 2
by: Shigemizu, Mika, et al.
Published: (2018)

HCQA: Hybrid Classical-Quantum Agent for Generating Optimal Quantum Sensor Circuits
by: Alomari, Ahmad, et al.
Published: (2025)

Scattered Forest Search: Smarter Code Space Exploration with LLMs
by: Light, Jonathan, et al.
Published: (2024)

Evaluating Large Language Models for Workload Mapping and Scheduling in Heterogeneous HPC Systems
by: Sharma, Aasish Kumar, et al.
Published: (2025)

Overcoming Over-Fitting in Constraint Acquisition via Query-Driven Interactive Refinement
by: Balafas, Vasileios, et al.
Published: (2025)

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

Graph Neural Networks are Heuristics
by: Min, Yimeng, et al.
Published: (2026)

DISC: Dynamic Decomposition Improves LLM Inference Scaling
by: Light, Jonathan, et al.
Published: (2025)

Evading Overlapping Community Detection via Proxy Node Injection
by: Loi, Dario, et al.
Published: (2025)

Reinforcement Learning for Dynamic Workflow Optimization in CI/CD Pipelines
by: Soni, Aniket Abhishek, et al.
Published: (2026)

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

The Marco Polo Problem: A Combinatorial Approach to Geometric Localization
by: Gila, Ofek, et al.
Published: (2025)

Emotion-Inspired Learning Signals (EILS): A Homeostatic Framework for Adaptive Autonomous Agents
by: Tiwari, Dhruv
Published: (2025)

Separation and Collapse of Equilibria Inequalities on AND-OR Trees without Shape Constraints
by: Ito, Fuki, et al.
Published: (2024)

Automated Theorem Provers Help Improve Large Language Model Reasoning
by: McGinness, Lachlan, et al.
Published: (2024)