Image de couverture de livre

Evaluating Task-Oriented Dialogue Consistency through Constraint Satisfaction

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Labruna, Tiziano, Magnini, Bernardo
Format:	Preprint
Publié:	2024
Sujets:	Computation and Language Symbolic Computation
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Complexity Classification of Complex-Weighted Counting Acyclic Constraint Satisfaction Problems
par: Yamakami, Tomoyuki
Publié: (2024)

Scalable High-Recall Constraint-Satisfaction-Based Information Retrieval for Clinical Trials Matching
par: Zhou, Cyrus, et autres
Publié: (2026)

A Neuro-Symbolic Approach to Monitoring Salt Content in Food
par: Tayal, Anuja, et autres
Publié: (2024)

Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic
par: Candussio, Sara, et autres
Publié: (2026)

Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic
par: Fushimi, Kosei, et autres
Publié: (2026)

Verified Language Processing with Hybrid Explainability: A Technical Report
par: Fox, Oliver Robert, et autres
Publié: (2025)

Visual Set Program Synthesizer
par: Cheng, Zehua, et autres
Publié: (2026)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
par: Beyer, Dirk, et autres
Publié: (2025)

Introducing Quantification into a Hierarchical Graph Rewriting Language
par: Mishina, Haruto, et autres
Publié: (2024)

Strided Difference Bound Matrices
par: Pitchanathan, Arjun, et autres
Publié: (2024)

Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
par: Zhang, Naifeng, et autres
Publié: (2025)

A Flow Extension to Coroutine Types for Deadlock Detection in Go
par: Gu, Qiqi Jason, et autres
Publié: (2026)

Decomposition and Preprocessing of Ternary Constraint Networks
par: Talbot, Pierre
Publié: (2025)

Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent
par: Buali, Mahdi, et autres
Publié: (2024)

Large Language Models as Mirrors of Societal Moral Standards
par: Papadopoulou, Evi, et autres
Publié: (2024)

Library Learning Doesn't: The Curious Case of the Single-Use "Library"
par: Berlot-Attwell, Ian, et autres
Publié: (2024)

LLMs as mirrors of societal moral standards: reflection of cultural divergence and agreement across ethical topics
par: Meijer, Mijntje, et autres
Publié: (2024)

Cognitive LLMs: Towards Integrating Cognitive Architectures and Large Language Models for Manufacturing Decision-making
par: Wu, Siyu, et autres
Publié: (2024)

ONSEP: A Novel Online Neural-Symbolic Framework for Event Prediction Based on Large Language Model
par: Yu, Xuanqing, et autres
Publié: (2024)

AbstRaL: Augmenting LLMs' Reasoning by Reinforcing Abstract Thinking
par: Gao, Silin, et autres
Publié: (2025)

ConceptGuard: Neuro-Symbolic Safety Guardrails via Sparse Interpretable Jailbreak Concepts
par: Aswal, Darpan, et autres
Publié: (2025)

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions
par: Zheng, Hongbo, et autres
Publié: (2025)

Quantum Knowledge Graph: Modeling Context-Dependent Triplet Validity
par: Wang, Yao, et autres
Publié: (2026)

GOFAI meets Generative AI: Development of Expert Systems by means of Large Language Models
par: Garrido-Merchán, Eduardo C., et autres
Publié: (2025)

Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
par: Sinha, Sania, et autres
Publié: (2025)

Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems
par: Bui, Tuan, et autres
Publié: (2025)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
par: Shalyt, Michael, et autres
Publié: (2025)

R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
par: Chen, Yongchao, et autres
Publié: (2025)

Deep Neural Network for Constraint Acquisition through Tailored Loss Function
par: Vyhmeister, Eduardo, et autres
Publié: (2024)

Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic
par: Zhao, Xufeng, et autres
Publié: (2023)

Beyond Accuracy: Introducing a Symbolic-Mechanistic Approach to Interpretable Evaluation
par: Habibi, Reza, et autres
Publié: (2026)

YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
par: Tang, Xuan, et autres
Publié: (2026)

On Ambiguity: The case of fraction, its meanings and roles
par: Bergstra, Jan A, et autres
Publié: (2026)

Positivity Proofs for Linear Recurrences through Contracted Cones
par: Ibrahim, Alaa, et autres
Publié: (2024)

Reconciling Explanations in Multi-Model Systems through Probabilistic Argumentation
par: Hong, Shengxin, et autres
Publié: (2024)

WebPie: A Tiny Slice of Dependent Typing
par: Scholliers, Christophe
Publié: (2024)

Proceedings 13th International Workshop on Developments in Computational Models
par: Alves, Sandra, et autres
Publié: (2024)

Confluence of Conditional Rewriting Modulo
par: Lucas, Salvador
Publié: (2025)

Semantic Properties of Computations Defined by Elementary Inference Systems
par: Lucas, Salvador
Publié: (2025)

Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time Online Program Optimization Strategy That Can Achieve Super-Linear Speedup
par: Fruehwirth, Thom
Publié: (2023)