Imagen de Portada

Through the Looking Glass, and what Horn Clause Programs Found There

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Tarau, Paul
Formato:	Preprint
Publicado:	2024
Materias:	Computation and Language
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Modeling Next-Token Prediction as Left-Nested Intuitionistic Implication
por: Tarau, Paul
Publicado: (2026)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
por: De Angelis, Emanuele, et al.
Publicado: (2024)

HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report)
por: Jiang, Hongjian, et al.
Publicado: (2025)

Automated Verification of Tree-Manipulating Programs Using Constrained Horn Clauses
por: Faella, Marco, et al.
Publicado: (2024)

CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses
por: Dobos-Kovács, Mihály, et al.
Publicado: (2025)

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
por: De Angelis, Emanuele, et al.
Publicado: (2025)

On LLM-generated Logic Programs and their Inference Execution Methods
por: Tarau, Paul
Publicado: (2025)

Through the LLM Looking Glass: A Socratic Probing of Donkeys, Elephants, and Markets
por: Kennedy, Molly, et al.
Publicado: (2025)

Through the Looking Glass: Common Sense Consistency Evaluation of Weird Images
por: Rykov, Elisei, et al.
Publicado: (2025)

Multiple Query Satisfiability of Constrained Horn Clauses
por: De Angelis, Emanuele, et al.
Publicado: (2022)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
por: Kutsia, Temur, et al.
Publicado: (2024)

Clause-Internal or Clause-External? Testing Turkish Reflexive Binding in Adapted versus Chain of Thought Large Language Models
por: Karakaş, Sercan
Publicado: (2026)

Liaozhai through the Looking-Glass: On Paratextual Explicitation of Culture-Bound Terms in Machine Translation
por: Shen, Sherrie, et al.
Publicado: (2025)

Annotation and Classification of Relevant Clauses in Terms-and-Conditions Contracts
por: Bizzaro, Pietro Giovanni, et al.
Publicado: (2024)

CTL* Verification and Synthesis using Existential Horn Clauses
por: Carelli, Mishel, et al.
Publicado: (2024)

That's Optional: A Contemporary Exploration of "that" Omission in English Subordinate Clauses
por: Rabinovich, Ella
Publicado: (2024)

Looking Through Glass Box
por: Kafantaris, Alexis
Publicado: (2026)

Multilingual Relative Clause Attachment Ambiguity Resolution in Large Language Models
por: Lee, So Young, et al.
Publicado: (2025)

CEHA: A Dataset of Conflict Events in the Horn of Africa
por: Bai, Rui, et al.
Publicado: (2024)

HealthcareNLP: where are we and what is next?
por: Han, Lifeng, et al.
Publicado: (2025)

Generalist Reward Models: Found Inside Large Language Models
por: Li, Yi-Chen, et al.
Publicado: (2025)

AGB-DE: A Corpus for the Automated Legal Assessment of Clauses in German Consumer Contracts
por: Braun, Daniel, et al.
Publicado: (2024)

Uniform Information Density and Syntactic Reduction: Revisiting $\textit{that}$-Mentioning in English Complement Clauses
por: Hao, Hailin, et al.
Publicado: (2025)

Known Intents, New Combinations: Clause-Factorized Decoding for Compositional Multi-Intent Detection
por: Nandy, Abhilash
Publicado: (2026)

Found in Translation: Measuring Multilingual LLM Consistency as Simple as Translate then Evaluate
por: Gupta, Ashim, et al.
Publicado: (2025)

Found in Conversation: LLMs Teach Themselves to Close the Multi-Turn Gap
por: Chen, Tianlang, et al.
Publicado: (2026)

Scalable Multi-phase Word Embedding Using Conjunctive Propositional Clauses
por: Kadhim, Ahmed K., et al.
Publicado: (2025)

GAIus: Combining Genai with Legal Clauses Retrieval for Knowledge-based Assistant
por: Matak, Michał, et al.
Publicado: (2025)

SQLCritic: Correcting Text-to-SQL Generation via Clause-wise Critic
por: Chen, Jikai, et al.
Publicado: (2025)

Refining Syntactic Distinctions Using Decision Trees: A Paper on Postnominal 'That' in Complement vs. Relative Clauses
por: Gackou, Hamady
Publicado: (2025)

Lost in Transcription, Found in Distribution Shift: Demystifying Hallucination in Speech Foundation Models
por: Atwany, Hanin, et al.
Publicado: (2025)

Fairness of Automatic Speech Recognition: Looking Through a Philosophical Lens
por: Choi, Anna Seo Gyeong, et al.
Publicado: (2025)

A Look Into News Avoidance Through AWRS: An Avoidance-Aware Recommender System
por: Azevedo, Igor L. R., et al.
Publicado: (2024)

A Few Good Clauses: Comparing LLMs vs Domain-Trained Small Language Models on Structured Contract Extraction
por: Lincoln, Nicole, et al.
Publicado: (2026)

Retrieval-Augmented Detection of Potentially Abusive Clauses in Chilean Terms of Service
por: Loeffler, Christoffer, et al.
Publicado: (2026)

Location Not Found: Exposing Implicit Local and Global Biases in Multilingual LLMs
por: Mor-Lan, Guy, et al.
Publicado: (2026)

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
por: Katsura, Hiroyuki, et al.
Publicado: (2025)

They Said Memes Were Harmless-We Found the Ones That Hurt: Decoding Jokes, Symbols, and Cultural References
por: Tripathi, Sahil, et al.
Publicado: (2026)

A Two-Stage Architecture for NDA Analysis: LLM-based Segmentation and Transformer-based Clause Classification
por: Begnini, Ana, et al.
Publicado: (2026)

Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
por: Somorjai, Márk, et al.
Publicado: (2024)