Buchumschlag

A Framework for Generating Informative Benchmark Instances

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dang, Nguyen, Akgün, Özgür, Espasa, Joan, Miguel, Ian, Nightingale, Peter
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Artificial Intelligence F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Comparing verbal, visual and combined explanations for Bayesian Network inferences
von: Nyberg, Erik P., et al.
Veröffentlicht: (2025)

CON-FOLD -- Explainable Machine Learning with Confidence
von: McGinness, Lachlan, et al.
Veröffentlicht: (2024)

Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
von: Ngouonou, Jovial Cheukam, et al.
Veröffentlicht: (2025)

Argumentation and Machine Learning
von: Rago, Antonio, et al.
Veröffentlicht: (2024)

Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessing
von: Semmelrock, Veronika, et al.
Veröffentlicht: (2026)

Data-Complexity of the Two-Variable Fragment with Counting Quantifiers
von: Pratt-Hartmann, Ian
Veröffentlicht: (2008)

On the Complexity of the Numerically Definite Syllogistic and Related Fragments
von: Pratt-Hartmann, Ian
Veröffentlicht: (2007)

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
von: Kazakov, Yevgeny, et al.
Veröffentlicht: (2009)

Towards Automated Readable Proofs of Ruler and Compass Constructions
von: Marinković, Vesna, et al.
Veröffentlicht: (2024)

IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning
von: Nieuwenhuis, Robert, et al.
Veröffentlicht: (2024)

Axiomatic Foundations of Counterfactual Explanations
von: Amgoud, Leila, et al.
Veröffentlicht: (2026)

Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2026)

Inverse-Free Wilson Loops for Transformers: A Practical Diagnostic for Invariance and Order Sensitivity
von: Chang, Edward Y., et al.
Veröffentlicht: (2025)

Causal Identification from Counterfactual Data: Completeness and Bounding Results
von: Raghavan, Arvind, et al.
Veröffentlicht: (2026)

Counterfactual Realizability
von: Raghavan, Arvind, et al.
Veröffentlicht: (2025)

The Equivalence Theorem: First-Class Relationships for Structurally Complete Database Systems
von: Alford, Matthew
Veröffentlicht: (2026)

Two-Level Type Theory and Applications
von: Annenkov, Danil, et al.
Veröffentlicht: (2017)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Expressive Power of Graph Transformers via Logic
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2025)

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2024)

Graph neural networks and MSO
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2025)

SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic
von: Hansen, Zachary, et al.
Veröffentlicht: (2025)

On the Conditions for Domain Stability for Machine Learning: a Mathematical Approach
von: Pedroza, Gabriel
Veröffentlicht: (2024)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
von: Tsamoura, Efthymia, et al.
Veröffentlicht: (2024)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
von: Jung, Jean Christoph, et al.
Veröffentlicht: (2023)

T-CPDL: A Temporal Causal Probabilistic Description Logic for Developing Logic-RAG Agent
von: Yu, Hong Qing
Veröffentlicht: (2025)

Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers
von: Pratt-Hartmann, Ian
Veröffentlicht: (2004)

Solving Quantified Modal Logic Problems by Translation to Classical Logics
von: Steen, Alexander, et al.
Veröffentlicht: (2022)

Plausible Reasoning and First-Order Plausible Logic
von: Billington, David
Veröffentlicht: (2026)

Experiments with Choice in Dependently-Typed Higher-Order Logic
von: Ranalter, Daniel, et al.
Veröffentlicht: (2024)

Deontic Temporal Logic for Formal Verification of AI Ethics
von: V., Priya T., et al.
Veröffentlicht: (2025)

CogNarr Ecosystem: Facilitating Group Cognition at Scale
von: Boik, John C.
Veröffentlicht: (2024)

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
von: Zhang, Liao, et al.
Veröffentlicht: (2024)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Working Document -- Formalising Software Requirements with Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Formalising Software Requirements using Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Automated Theorem Provers Help Improve Large Language Model Reasoning
von: McGinness, Lachlan, et al.
Veröffentlicht: (2024)

A University Framework for the Responsible use of Generative AI in Research
von: Smith, Shannon, et al.
Veröffentlicht: (2024)

A Unified Gentzen-style Framework for Until-free LTL
von: Kamide, Norihiro, et al.
Veröffentlicht: (2024)