Psychology Today

Is There a Magic Number When it Comes to Close Relationships?

It’s not that unusual to want people to be able to satisfy your needs for closeness. New research on attachment style and ...
IEEE

Constraint Programming Based Model and Algorithm for Solving Steelmaking and Continuous Casting Scheduling Problem with Adjustable Casting Time

Abstract: The Steelmaking-Continuous Casting (SCC) scheduling problem is usually regarded as a type of hybrid flow-shop scheduling problems (HFSP) with special process constraints. To research the SCC ...
IEEE

Enforcing Temporal and Spatial Separation Constraints in Multi-Vehicle Trajectory Generation Problems Using a Bernstein Relaxation and Refinement Method

Abstract: Satisfying collision-avoidance constraints at all time instances along vehicles' trajectories is crucial to the success of a multi-vehicle mission. A common approach to handling ...
Microsoft

Attention Satisfies: A Constraint-Satisfaction Lens on Factual Errors of Language Models

We investigate the internal behavior of Transformer-based Large Language Models (LLMs) when they generate factually incorrect text. We propose modeling factual queries as Constraint Satisfaction ...
Microsoft

KITAB: Evaluating LLMs on Constraint Satisfaction for Information Retrieval

We study the ability of state-of-the art models to answer constraint satisfaction queries for information retrieval (e.g., ‘a list of ice cream shops in San Diego’). In the past, such queries were ...