Through the Looking Glass, and what Horn Clause Programs Found There
Fuente:
arXiv
Guardado en:
| Autor principal: | Tarau, Paul |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| 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)
por: Tarau, Paul
Publicado: (2026)
Catamorphic Abstractions for Constrained Horn Clause Satisfiability
por: De Angelis, Emanuele, et al.
Publicado: (2024)
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)
por: Jiang, Hongjian, et al.
Publicado: (2025)
Automated Verification of Tree-Manipulating Programs Using Constrained Horn Clauses
por: Faella, Marco, et al.
Publicado: (2024)
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)
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)
por: De Angelis, Emanuele, et al.
Publicado: (2025)
On LLM-generated Logic Programs and their Inference Execution Methods
por: Tarau, Paul
Publicado: (2025)
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)
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)
por: Rykov, Elisei, et al.
Publicado: (2025)
Multiple Query Satisfiability of Constrained Horn Clauses
por: De Angelis, Emanuele, et al.
Publicado: (2022)
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)
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)
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)
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)
por: Bizzaro, Pietro Giovanni, et al.
Publicado: (2024)
CTL* Verification and Synthesis using Existential Horn Clauses
por: Carelli, Mishel, et al.
Publicado: (2024)
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)
por: Rabinovich, Ella
Publicado: (2024)
Looking Through Glass Box
por: Kafantaris, Alexis
Publicado: (2026)
por: Kafantaris, Alexis
Publicado: (2026)
Multilingual Relative Clause Attachment Ambiguity Resolution in Large Language Models
por: Lee, So Young, et al.
Publicado: (2025)
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)
por: Bai, Rui, et al.
Publicado: (2024)
HealthcareNLP: where are we and what is next?
por: Han, Lifeng, et al.
Publicado: (2025)
por: Han, Lifeng, et al.
Publicado: (2025)
Generalist Reward Models: Found Inside Large Language Models
por: Li, Yi-Chen, et al.
Publicado: (2025)
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)
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)
por: Hao, Hailin, et al.
Publicado: (2025)
Known Intents, New Combinations: Clause-Factorized Decoding for Compositional Multi-Intent Detection
por: Nandy, Abhilash
Publicado: (2026)
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)
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)
por: Chen, Tianlang, et al.
Publicado: (2026)
Scalable Multi-phase Word Embedding Using Conjunctive Propositional Clauses
por: Kadhim, Ahmed K., et al.
Publicado: (2025)
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)
por: Matak, Michał, et al.
Publicado: (2025)
SQLCritic: Correcting Text-to-SQL Generation via Clause-wise Critic
por: Chen, Jikai, et al.
Publicado: (2025)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
por: Somorjai, Márk, et al.
Publicado: (2024)
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)