Structural Constraints

Ask about this field

Recent momentum

emerging

0 papers in the last 28 days · 0.0% of indexed attention

Twelve weeks of publication activity for this topic as it is defined today.

Weekly history

Recent digests

What was published in this field, kept on the site without email delivery.

Period ending 2026-09-21

8 new papers

A weekly snapshot of new work published in Structural Constraints.

Period ending 2026-09-14

8 new papers

A weekly snapshot of new work published in Structural Constraints.

Period ending 2026-09-07

9 new papers

A weekly snapshot of new work published in Structural Constraints.

Inside this field

Focused directions

317 papers

Latest in Structural Constraints

Browse all topics →
CardsList

  1. Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT

    May 8, 2026Ondřej Huvar, Nikola Beneš, Martin Jonáš +2Dynamics ModelsStructural Constraints

  2. Causal EpiNets: Precision-corrected Bounds on Individual Treatment Effects using Epistemic Neural Networks

    May 8, 2026Gandharv Patil, Keyi Tang, Raquel Aoki +1Heterogeneous Treatment EffectsFinite-Sample

  3. Traffic Scenario Orchestration from Language via Constraint Satisfaction

    May 7, 2026Frieda Rong, Chris Zhang, Kelvin Wong +1Autonomous Driving SimulationAutonomous Driving

  4. Multi-Objective Constraint Inference using Inverse reinforcement learning

    May 7, 2026Syed Ihtesham Hussain Shah, Floris den Hengst, Aneta Lisowska +1Constrained Reinforcement LearningInference-Time Control

  5. Target-Aware Data Augmentation for SAT Prediction

    May 7, 2026Eshed Gal, Uri Ascher, Eldad HaberSatisfiabilityNp-Hard

  6. Optimal Counterfactual Search in Tree Ensembles: A Study Across Modeling and Solution Paradigms

    May 7, 2026Awa Khouna, Youssouf Emine, Julien Ferry +1Decision TreesCounterfactual Explanation

  7. Constraint Decay: The Fragility of LLM Agents in Backend Code Generation

    May 7, 2026Francesco Dente, Dario Satriani, Paolo PapottiCode GenerationLarge Language Model Agents

  8. Stop Comparing LLM Agents Without Disclosing the Harness

    May 7, 2026Yunbei Zhang, Janet Wang, Yingqiang Ge +3Agent HarnessLarge Language Model Agents

  9. SEQUOR: A Multi-Turn Benchmark for Realistic Constraint Following

    May 7, 2026Beatriz Canaverde, Duarte M. Alves, José Pombal +2Multi-Turn ConversationsInstruction

  10. On-Orbit Real-Time Wildfire Detection Under On-Board Constraints

    May 7, 2026Matthias Rötzer, Veronika Pörtge, Martin Ickerott +6Wildfire DetectionThermal Imaging

  11. Open-SAT: LLM-Guided Query Embedding Refinement for Open-Vocabulary Object Retrieval in Satellite Imagery

    May 6, 2026Md Adnan Arefeen, Biplob Debnath, Ravi K. Rajendran +2Satellite ImageryComposed Image Retrieval

  12. Adaptive Policy Selection and Fine-Tuning under Interaction Budgets for Offline-to-Online Reinforcement Learning

    May 6, 2026Alper Kamil Bozkurt, Xiaoan Xu, Shangtong Zhang +2Offline Reinforcement LearningOff-Policy Evaluation

  13. Unsat Core Prediction through Polarity-Aware Representation Learning over Clause-Literal Hypergraphs

    May 6, 2026Zhenchao Sun, Shuai Ma, Ping Lu +1SatisfiabilityHypergraphs

  14. Logical Consistency as a Bridge: Improving LLM Hallucination Detection via Label Constraint Modeling between Responses and Self-Judgments

    May 5, 2026Hao Mi, Qiang Sheng, Shaofei Wang +7Hallucination DetectionLarge Language Model Hallucination

  15. MCJudgeBench: A Benchmark for Constraint-Level Judge Evaluation in Multi-Constraint Instruction Following

    May 5, 2026Jaeyun Lee, Junyoung Koh, Zeynel Tok +2InstructionStructural Constraints

  16. Neural Control: Adjoint Learning Through Equilibrium Constraints

    May 5, 2026Dezhong Tong, Jiawen Wang, Hengyi Zhou +3Neural ControlNeural Ordinary Differential Equations

  17. Static Analysis of Recursive SHACL

    May 4, 2026Anouk Oudshoorn, Magdalena Ortiz, Mantas SimkusModal LogicLabel Constraint Modeling

  18. U-Define: Designing User Workflows for Hard and Soft Constraints in LLM-Based Planning

    May 4, 2026Christine P Lee, Xinyu Jessica Wang, Aws Albarghouthi +2Workflow Automation and OptimizationStructural Constraints

  19. Optimization of CV-QKD Under Practical Constraints

    May 3, 2026Svitlana Matsenko, Amirhossein Ghazisaeidi, Marcin Jarzyna +2Source-Channel CodingSingle-Photon Avalanche Diode

  20. Structured Diffusion Bridges: Inductive Bias for Denoising Diffusion Bridges

    May 3, 2026Eitan Kosman, Gabriele Serussi, Chaim BaskinMultimodal Diffusion TransformersCross-Modal Learning

  21. Neural Decision-Propagation for Answer Set Programming

    May 3, 2026Thomas Eiter, Katsumi Inoue, Sota MoriyamaNeuro-Symbolic FrameworkAnswer Set Programming

  22. Decision-Focused Learning via Tangent-Space Projection of Prediction Error

    May 2, 2026Junhyeong Lee, Sangjin Jin, Yongjae LeeLinear RegretReward-Prediction Error

  23. InterPhys: Physics-aware Human Motion Synthesis in a Dynamic Scene

    May 1, 2026Chaoyue Xing, Wei Mao, Miaomiao LiuHuman Motion GenerationPhysics Simulation

  24. Are You the A-hole? A Fair, Multi-Perspective Ethical Reasoning Framework

    Apr 30, 2026Sheza Munir, Ahanaf Rodoshi, Sumin Lee +3EthicsDisagreement

  25. Models Recall What They Violate: Constraint Adherence in Multi-Turn LLM Ideation

    Apr 30, 2026Garvin KruthofIdeasStructural Constraints

  26. LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning

    Apr 30, 2026Adam Ishay, Joohyung LeeLlm-DrivenAnswer Set Programming

  27. TIO-SHACL: Comprehensive SHACL validation for TMF Intent Ontologies

    Apr 30, 2026Jean Martins, Leonid Mokrushin, Marin OrlicOntologyStructural Constraints

  28. PINN-Cast: Exploring the Role of Continuous-Depth NODE in Transformers and Physics Informed Loss as Soft Physical Constraints in Short-term Weather Forecasting

    Apr 30, 2026Hira Saleem, Flora Salim, Cormac PurcellNumerical Weather PredictionConventional Physics-Informed Neural Networks

  29. Residual Drift Dominates Contradiction in Multi-Turn Constraint Reasoning

    Apr 28, 2026Sebastien KawadaLabel Constraint ModelingReasoning Failures

  30. Assistants, Not Architects: The Role of LLMs in Networked Systems Design

    Apr 28, 2026Pratyush Sahu, Rahul Bothra, Venkat Arun +3Co-DesignLlm-Driven

  31. VISION-SLS: Safe Perception-Based Control from Learned Visual Representations via System Level Synthesis

    Apr 27, 2026Antoine P. Leeman, Shuyu Zhan, Melanie N. Zeilinger +1Visual ServoingFeedback Linearization

  32. Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning

    Apr 25, 2026Akihiro Takemura, Katsumi Inoue, Masaaki NishinoNeuro-Symbolic FrameworkLabel Constraint Modeling

  33. Bridging Reasoning and Action: Hybrid LLM-RL Framework for Efficient Cross-Domain Task-Oriented Dialogue

    Apr 25, 2026Yangyang Zhao, Linfan Dai, Li Cai +2Long-Horizon TasksLabel Constraint Modeling

  34. BLAST: Benchmarking LLMs with ASP-based Structured Testing

    Apr 24, 2026Manuel Alejandro Borroto Santana, Erica Coppolillo, Francesco Calimeri +3Benchmarking Large Language ModelsAnswer Set Programming

  35. A general optimization solver based on OP-to-MaxSAT reduction

    Apr 23, 2026Yuxin Zhao, Han Huang, Zhifeng HaoCombinatorial OptimizationSatisfiability

  36. Using ASP(Q) to Handle Inconsistent Prioritized Data

    Apr 23, 2026Meghyn Bienvenu, Camille Bourgaux, Robin Jean +1Answer Set ProgrammingPrioritization

  37. Generative Discovery of Magnetic Insulators under Competing Physical Constraints

    Apr 22, 2026Qiulin Zeng, Tahiya Chowdhury, Md Shafayat HossainData-Driven Materials DiscoveryMagnetic Tunnel Junction

  38. Omission Constraints Decay While Commission Constraints Persist in Long-Context LLM Agents

    Apr 22, 2026Yeran GamageComplianceLarge Language Model Safety

  39. HardNet++: Nonlinear Constraint Enforcement in Neural Networks

    Apr 21, 2026Andrea Goertzen, Kaveh Alim, Youngjae Min +1Inequality ConstraintsStructural Constraints

  40. Forward Dynamics of Variable Topology Mechanisms - The Case of Constraint Activation

    Apr 21, 2026Andreas MuellerKinematic ChainRobotic Arms

  41. Streamliners for Answer Set Programming

    Apr 21, 2026Florentina Voboril, Martin Gebser, Stefan Szeider +1Answer Set ProgrammingStructural Constraints

  42. SAW-INT4: System-Aware 4-Bit KV-Cache Quantization for Real-World LLM Serving

    Apr 21, 2026Jinda Jia, Jisen Li, Zhongzhu Zhou +8Key-Value Cache QuantizationKey-Value Cache Compression

  43. The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification

    Apr 20, 2026Merkouris Papamichail, Konstantinos Varsos, Giorgos Flouris +1Neural Network VerificationConvex Sets

  44. Symbolic Synthesis for LTLf+ Obligations

    Apr 20, 2026Giuseppe De Giacomo, Christian Hagemeier, Daniel Hausmann +1Linear Temporal LogicsConstraint-Aware Synthesis

  45. Physics-Informed Causal MDPs for Sequential Constraint Repair in Engineering Simulation Pipelines

    Apr 20, 2026Chuhan QiaoStructural Causal ModelMarkov Decision Processes

  46. LLM-Guided Strategy Synthesis for Scalable Equality Saturation

    Apr 19, 2026Chenyun Yin, Youwei Xiao, Yuze Luo +2SatisfiabilityCode Optimization

  47. TinyJudge: Unverifiable Constraint Alignment via Lightweight Specialist Ensembles

    Apr 19, 2026Yirong Zeng, Yufei Liu, Xiao Ding +9Instruction-Tuned ModelsRaw Judge Outputs

  48. Safe and Policy-Compliant Multi-Agent Orchestration for Enterprise AI

    Apr 19, 2026Vinil Pasupuleti, Shyalendar Reddy Allala, Siva Rama Krishna Varma Bayyavarapu +1Multi-Agent Orchestration FrameworksStructural Constraints

  49. Shepherding UAV Swarm with Action Prediction Based on Movement Constraints

    Apr 19, 2026Yusuke Tsunoda, Yusuke Goto, Takao SatoUnmanned Aerial Vehicle SwarmsSwarms

  50. From Subsumption to Satisfiability: LLM-Assisted Active Learning for OWL Ontologies

    Apr 17, 2026Haoruo Zhao, Wenshuo Tang, Duncan Guthrie +3OntologyActive Learning

  51. Diffusion-Based Optimization for Accelerated Convergence of Redundant Dual-Arm Minimum Time Problems

    Apr 17, 2026Jushan Chen, Jonathan Fried, Santiago PaternainTrajectory OptimizationPrimal-Dual Methods

  52. Constant-Factor Approximations for Doubly Constrained Fair k-Center, k-Median and k-Means

    Apr 17, 2026Nicole Funk, Annika Hennes, Johanna Hillebrand +1K-MeansApproximation Algorithms

  53. Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations

    Apr 16, 2026Koyena Pal, Serdar KadiogluSatisfiabilityMixed-Integer Programming

  54. Constraint-based Pre-training: From Structured Constraints to Scalable Model Initialization

    Apr 16, 2026Fu Feng, Yucheng Xie, Ruixiao Shi +2Model PretrainingModel Weights

  55. Quantifying Cross-Query Contradictions in Multi-Query LLM Reasoning

    Apr 16, 2026Rohit Kumar Salla, Ramya Manasa Amancherla, Manoj SaravananLarge Language Model ReasoningSatisfiability

  56. AMIGO: Agentic Multi-Image Grounding Oracle Benchmark

    Mar 30, 2026Min Wang, Ata MahjoubfarLarge Vision Language ModelsOracles

  57. Latency Coding for Efficient and Low-Latency Deep Spiking Neural Networks

    Mar 24, 2026Yi Lu, Jianhao Ding, Zhaofei YuSpiking Neural NetworksBinary Spikes

  58. Learning efficient representations of complex constraints for scalable optimization

    Mar 9, 2026Yilin Wen, Yi Guo, Bo Zhao +4Semidefinite ProgrammingStructural Constraints

  59. EmboAlign: Aligning Video Generation with Compositional Constraints for Zero-Shot Manipulation

    Mar 5, 2026Gehao Zhang, Zhenyang Ni, Payal Mohapatra +3Generalizable Robotic ManipulationsHuman Motion Generation

  60. No Certificate, No Categorical Speech Act: A Brouwerian Assertibility Constraint for Public Reason

    Mar 4, 2026Michael JülichArtificial Intelligence GovernanceCertificates