DateSAT introduces the first solver for satisfiability constraints over dates and calendar periods via five reduction strategies to integer SMT.
arXiv preprint arXiv:2302.06100 , year=
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
The paper defines Agent AI as interactive multimodal systems that perceive grounded data and generate embodied actions, arguing this approach can mitigate hallucinations in foundation models.
citing papers explorer
-
DateSAT: A Framework for Solving Date and Period Constraints
DateSAT introduces the first solver for satisfiability constraints over dates and calendar periods via five reduction strategies to integer SMT.
-
Agent AI: Surveying the Horizons of Multimodal Interaction
The paper defines Agent AI as interactive multimodal systems that perceive grounded data and generate embodied actions, arguing this approach can mitigate hallucinations in foundation models.