Imagen de Portada

ABS: Enforcing Constraint Satisfaction On Generated Sequences Via Automata-Guided Beam Search

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Collura, Vincenzo, Tit, Karim, Bussi, Laura, Giunchiglia, Eleonora, Cordy, Maxime
Formato:	Preprint
Publicado:	2025
Materias:	Machine Learning Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Constraint-Guided Prediction Refinement via Deterministic Diffusion Trajectories
por: Dogoulis, Pantelis, et al.
Publicado: (2025)

Deep generative models as an adversarial attack strategy for tabular machine learning
por: Dyrmishi, Salijona, et al.
Publicado: (2024)

KCLNet: Physics-Informed Power Flow Prediction via Constraints Projections
por: Dogoulis, Pantelis, et al.
Publicado: (2025)

Can Large Language Models Reason and Optimize Under Constraints?
por: Bernier, Fabien, et al.
Publicado: (2026)

Test Time Training for AC Power Flow Surrogates via Physics and Operational Constraint Refinement
por: Dogoulis, Panteleimon, et al.
Publicado: (2025)

Measuring Cross-Modal Synergy: A Benchmark for VLM Explainability
por: Ky, Joël Roman, et al.
Publicado: (2026)

Leveraging External Factors in Household-Level Electrical Consumption Forecasting using Hypernetworks
por: Bernier, Fabien, et al.
Publicado: (2025)

Guided Discrete Diffusion for Constraint Satisfaction Problems
por: Jung, Justin
Publicado: (2025)

How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data
por: Stoian, Mihaela Cătălina, et al.
Publicado: (2024)

ULLER: A Unified Language for Learning and Reasoning
por: van Krieken, Emile, et al.
Publicado: (2024)

One Model, Many Skills: Parameter-Efficient Fine-Tuning for Multitask Code Analysis
por: Akli, Amal, et al.
Publicado: (2026)

On the Robustness of Tabular Foundation Models: Test-Time Attacks and In-Context Defenses
por: Djilani, Mohamed, et al.
Publicado: (2025)

Clip Your Sequences Fairly: Enforcing Length Fairness for Sequence-Level RL
por: Mao, Hanyi, et al.
Publicado: (2025)

Learning with Logical Constraints but without Shortcut Satisfaction
por: Li, Zenan, et al.
Publicado: (2024)

Machine Learning with Requirements: a Manifesto
por: Giunchiglia, Eleonora, et al.
Publicado: (2023)

PiShield: A PyTorch Package for Learning with Requirements
por: Stoian, Mihaela Cătălina, et al.
Publicado: (2024)

Affective and Dynamic Beam Search for Story Generation
por: Huang, Tenghao, et al.
Publicado: (2023)

On the Effectiveness of Hybrid Pooling in Mixup-Based Graph Learning for Language Processing
por: Dong, Zeming, et al.
Publicado: (2022)

Enforcing Orderedness to Improve Feature Consistency
por: Wang, Sophie L., et al.
Publicado: (2025)

Reinforcement Learning Constrained Beam Search for Parameter Optimization of Paper Drying Under Flexible Constraints
por: Chen, Siyuan, et al.
Publicado: (2025)

BeamVQ: Beam Search with Vector Quantization to Mitigate Data Scarcity in Physical Spatiotemporal Forecasting
por: Wang, Weiyan, et al.
Publicado: (2025)

In Search of Lost DNA Sequence Pretraining
por: Tang, Zhijiang, et al.
Publicado: (2026)

Discovering Sensorimotor Agency in Cellular Automata using Diversity Search
por: Hamon, Gautier, et al.
Publicado: (2024)

Playing Board Games with the Predict Results of Beam Search Algorithm
por: Pastukhov, Sergey
Publicado: (2024)

Enhancing Reinforcement Learning for the Floorplanning of Analog ICs with Beam Search
por: Della Rovere, Sandro Junior, et al.
Publicado: (2025)

Help the machine to help you: an evaluation in the wild of egocentric data cleaning via skeptical learning
por: Bontempelli, Andrea, et al.
Publicado: (2025)

Scaling Attention to Very Long Sequences in Linear Time with Wavelet-Enhanced Random Spectral Attention (WERSA)
por: Dentamaro, Vincenzo
Publicado: (2025)

Behavioral Sequence Modeling with Ensemble Learning
por: Kawawa-Beaudan, Maxime, et al.
Publicado: (2024)

DIM: Enforcing Domain-Informed Monotonicity in Deep Neural Networks
por: Salim, Joshua, et al.
Publicado: (2025)

Coding-Enforced Resilient and Secure Aggregation for Hierarchical Federated Learning
por: Weng, Shudi, et al.
Publicado: (2026)

TaxDiff: Taxonomic-Guided Diffusion Model for Protein Sequence Generation
por: Zongying, Lin, et al.
Publicado: (2024)

Symbolic Autoencoding for Self-Supervised Sequence Learning
por: Amani, Mohammad Hossein, et al.
Publicado: (2024)

Ensemble Methods for Sequence Classification with Hidden Markov Models
por: Kawawa-Beaudan, Maxime, et al.
Publicado: (2024)

Monte Carlo Beam Search for Actor-Critic Reinforcement Learning in Continuous Control
por: Alzorgan, Hazim, et al.
Publicado: (2025)

SeqNAS: Neural Architecture Search for Event Sequence Classification
por: Udovichenko, Igor, et al.
Publicado: (2024)

Local Entropy Search over Descent Sequences for Bayesian Optimization
por: Stenger, David, et al.
Publicado: (2025)

CAX: Cellular Automata Accelerated in JAX
por: Faldor, Maxence, et al.
Publicado: (2024)

NeSyA: Neurosymbolic Automata
por: Manginas, Nikolaos, et al.
Publicado: (2024)

Harness as an Asset: Enforcing Determinism via the Convergent AI Agent Framework (CAAF)
por: Zhang, Tianbao
Publicado: (2026)

SAFE-SVD: Sensitivity-Aware Fidelity-Enforcing SVD for Physics Foundation Models
por: Hong, Chengjie, et al.
Publicado: (2026)