:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Liu, Peng, Cheng, Lian, Omell, Benjamin P., Burgard, Anthony P.
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Machine Learning
Online Access:	https://arxiv.org/abs/2504.07131
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Improving Out-of-Distribution Generalization of Trajectory Prediction for Autonomous Driving via Polynomial Representations
by: Yao, Yue, et al.
Published: (2024)

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization
by: Lian, Junbo Jacob, et al.
Published: (2026)

Generating Reliable Synthetic Clinical Trial Data: The Role of Hyperparameter Optimization and Domain Constraints
by: Hahn, Waldemar, et al.
Published: (2025)

Efficient Generative Model Training via Embedded Representation Warmup
by: Liu, Deyuan, et al.
Published: (2025)

Exact Verification of Graph Neural Networks with Incremental Constraint Solving
by: Liu, Minghao, et al.
Published: (2025)

From Instructions to Constraints: Language Model Alignment with Automatic Constraint Verification
by: Wang, Fei, et al.
Published: (2024)

Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical Planning
by: Bettker, R. V., et al.
Published: (2022)

Think Then Embed: Generative Context Improves Multimodal Embedding
by: Cui, Xuanming, et al.
Published: (2025)

Generalizing Hyperedge Expansion for Hyper-relational Knowledge Graph Modeling
by: Liu, Yu, et al.
Published: (2024)

Intrinsic-Energy Joint Embedding Predictive Architectures Induce Quasimetric Spaces
by: Kobanda, Anthony, et al.
Published: (2026)

LinkedIn Post Embeddings: Industrial Scale Embedding Generation and Usage across LinkedIn
by: Ramanujam, Sudarshan Srinivasa, et al.
Published: (2024)

Refining Compositional Diffusion for Reliable Long-Horizon Planning
by: Lee, Kyowoon, et al.
Published: (2026)

Rethinking Constraint Awareness for Efficient State Embedding of Neural Routing Solver
by: Yu, Canhong, et al.
Published: (2026)

Learning with Embedded Linear Equality Constraints via Variational Bayesian Inference
by: Marsh, Matthew, et al.
Published: (2026)

Nexusformer: Nonlinear Attention Expansion for Stable and Inheritable Transformer Scaling
by: Zhao, Weijie, et al.
Published: (2026)

LAVA: Explainability for Unsupervised Latent Embeddings
by: Stresec, Ivan, et al.
Published: (2025)

Planning with Multi-Constraints via Collaborative Language Agents
by: Zhang, Cong, et al.
Published: (2024)

Are Transformers More Robust? Towards Exact Robustness Verification for Transformers
by: Liao, Brian Hsuan-Cheng, et al.
Published: (2022)

M3-Embedding: Multi-Linguality, Multi-Functionality, Multi-Granularity Text Embeddings Through Self-Knowledge Distillation
by: Chen, Jianlv, et al.
Published: (2024)

BYE: Build Your Encoder with One Sequence of Exploration Data for Long-Term Dynamic Scene Understanding
by: Huang, Chenguang, et al.
Published: (2024)

Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification
by: Cornelio, Cristina, et al.
Published: (2025)

Strict Subgoal Execution: Reliable Long-Horizon Planning in Hierarchical Reinforcement Learning
by: Hwang, Jaebak, et al.
Published: (2025)

Improving Predictor Reliability with Selective Recalibration
by: Zollo, Thomas P., et al.
Published: (2024)

A General Framework for Producing Interpretable Semantic Text Embeddings
by: Sun, Yiqun, et al.
Published: (2024)

Meta-Models: An Architecture for Decoding LLM Behaviors Through Interpreted Embeddings and Natural Language
by: Costarelli, Anthony, et al.
Published: (2024)

Sharper Generalization Bounds for Transformer
by: Li, Yawen, et al.
Published: (2026)

Neural Network Verification with Branch-and-Bound for General Nonlinearities
by: Shi, Zhouxing, et al.
Published: (2024)

Is It Certainly a Deepfake? Reliability Analysis in Detection & Generation Ecosystem
by: Kose, Neslihan, et al.
Published: (2025)

Probabilistic Circuits with Constraints via Convex Optimization
by: Ghandi, Soroush, et al.
Published: (2024)

U-Define: Designing User Workflows for Hard and Soft Constraints in LLM-Based Planning
by: Lee, Christine P, et al.
Published: (2026)

Symmetry Breaking in Neural Network Optimization: Insights from Input Dimension Expansion
by: Zhang, Jun-Jie, et al.
Published: (2024)

Limited Reference, Reliable Generation: A Two-Component Framework for Tabular Data Generation in Low-Data Regimes
by: Jiang, Mingxuan, et al.
Published: (2025)

Positive-Unlabeled Constraint Learning for Inferring Nonlinear Continuous Constraints Functions from Expert Demonstrations
by: Peng, Baiyu, et al.
Published: (2024)

CDRRM: Contrast-Driven Rubric Generation for Reliable and Interpretable Reward Modeling
by: Liu, Dengcan, et al.
Published: (2026)

You Can Generate It Again: Data-to-Text Generation with Verification and Correction Prompting
by: Ren, Xuan, et al.
Published: (2023)

Efficient Stimuli Generation using Reinforcement Learning in Design Verification
by: Gadde, Deepak Narayan, et al.
Published: (2024)

Constrained Posterior Sampling: Time Series Generation with Hard Constraints
by: Narasimhan, Sai Shankar, et al.
Published: (2024)

Plantain: Plan-Answer Interleaved Reasoning
by: Liang, Anthony, et al.
Published: (2025)

Verification-Aware Planning for Multi-Agent Systems
by: Xu, Tianyang, et al.
Published: (2025)

A Time-Series Foundation Model by Universal Delay Embedding
by: Wang, Zijian, et al.
Published: (2025)