:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Saki, Amir, Faghihi, Usef
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence Machine Learning Logic in Computer Science 62D20, 60A86, 03E72, 93C42, 68T37, 6008, 68T20, 68T27, 68U99 I.2.3; G.3
Online-Zugang:	https://arxiv.org/abs/2406.13731
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Probabilistic Variational Causal Approach in Observational Studies
von: Faghihi, Usef, et al.
Veröffentlicht: (2022)

Probabilistic Easy Variational Causal Effect
von: Faghihi, Usef, et al.
Veröffentlicht: (2024)

Provability in BI's Sequent Calculus is Decidable
von: Gheorghiu, Alexander, et al.
Veröffentlicht: (2021)

Formalizing Pick's Theorem in Isabelle/HOL
von: Binder, Sage, et al.
Veröffentlicht: (2024)

Black Box Deployed -- Functional Criteria for Artificial Moral Agents in the LLM Era
von: Brophy, Matthew E.
Veröffentlicht: (2025)

Higher-Order Pattern Unification Modulo Similarity Relations
von: Dundua, Besik, et al.
Veröffentlicht: (2025)

Generating DDPM-based Samples from Tilted Distributions
von: Mandal, Himadri, et al.
Veröffentlicht: (2026)

Unraveling Media Perspectives: A Comprehensive Methodology Combining Large Language Models, Topic Modeling, Sentiment Analysis, and Ontology Learning to Analyse Media Bias
von: Jähde, Orlando, et al.
Veröffentlicht: (2025)

Artificial intelligence and downscaling global climate model future projections
von: Benestad, Rasmus E.
Veröffentlicht: (2026)

ARCADIA: Scalable Causal Discovery for Corporate Bankruptcy Analysis Using Agentic AI
von: Maturo, Fabrizio, et al.
Veröffentlicht: (2025)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
von: Park, Sewon, et al.
Veröffentlicht: (2016)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
von: Farmer, William M.
Veröffentlicht: (2026)

CoMadOut -- A Robust Outlier Detection Algorithm based on CoMAD
von: Lohrer, Andreas, et al.
Veröffentlicht: (2022)

Hashing Modulo Context-Sensitive $α$-Equivalence
von: Blaauwbroek, Lasse, et al.
Veröffentlicht: (2024)

Fuzzy Logic Guided Reward Function Variation: An Oracle for Testing Reinforcement Learning Programs
von: Zhang, Shiyu, et al.
Veröffentlicht: (2024)

Quantum Random Self-Modifiable Computation
von: Fiske, Michael Stephen
Veröffentlicht: (2018)

Anatomy of a Formal Proof
von: Avigad, Jeremy, et al.
Veröffentlicht: (2024)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
von: Wang, Zili, et al.
Veröffentlicht: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
von: Kosaian, Katherine, et al.
Veröffentlicht: (2024)

Ice Cream Doesn't Cause Drowning: Benchmarking LLMs Against Statistical Pitfalls in Causal Inference
von: Du, Jin, et al.
Veröffentlicht: (2025)

On the Convergence of the ELBO to Entropy Sums
von: Lücke, Jörg, et al.
Veröffentlicht: (2022)

Generative Models with ELBOs Converging to Entropy Sums
von: Warnken, Jan, et al.
Veröffentlicht: (2024)

The number of primitive words of unbounded exponent in the language of an HD0L-system is finite
von: Klouda, Karel, et al.
Veröffentlicht: (2021)

Learning to Refine: An Agentic RL Approach for Iterative SPARQL Query Construction
von: Vossebeld, Floris, et al.
Veröffentlicht: (2025)

Propositional Measure Logic
von: Aragão, Francisco
Veröffentlicht: (2025)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
von: van der Meyden, Ron
Veröffentlicht: (2025)

Logical Modalities within the European AI Act: An Analysis
von: Lawniczak, Lara, et al.
Veröffentlicht: (2025)

Multi-Hypothesis Prediction for Portfolio Optimization: A Structured Ensemble Learning Approach to Risk Diversification
von: Dominguez, Alejandro Rodriguez, et al.
Veröffentlicht: (2025)

Leveraging Imperfection with MEDLEY A Multi-Model Approach Harnessing Bias in Medical AI
von: Abtahi, Farhad, et al.
Veröffentlicht: (2025)

Languages of Words of Low Automatic Complexity Are Hard to Compute
von: Chen, Joey, et al.
Veröffentlicht: (2025)

Causality as the Statistical Conscience of Artificial Intelligence: From Pearl's Ladder to Trustworthy Machines
von: Fokoué, Ernest
Veröffentlicht: (2026)

Normative Conditional Reasoning as a Fragment of HOL
von: Parent, Xavier, et al.
Veröffentlicht: (2023)

Continuous-time Risk-sensitive Reinforcement Learning via Quadratic Variation Penalty
von: Jia, Yanwei
Veröffentlicht: (2024)

Efficient Time Series Forecasting via Hyper-Complex Models and Frequency Aggregation
von: Yakir, Eyal, et al.
Veröffentlicht: (2025)

Redundancy rules for MaxSAT
von: Bonacina, Ilario, et al.
Veröffentlicht: (2025)

Derandomization with Pseudorandomness
von: Karayel, Emin
Veröffentlicht: (2024)

CHORUS: An Agentic Framework for Generating Realistic Deliberation Data
von: Koursaris, A., et al.
Veröffentlicht: (2026)

Formalising New Mathematics in Isabelle: Diagonal Ramsey
von: Paulson, Lawrence C
Veröffentlicht: (2025)

Solutions of Word Equations over Partially Commutative Structures
von: Diekert, Volker, et al.
Veröffentlicht: (2016)

Supercharging Federated Intelligence Retrieval
von: Stripelis, Dimitris, et al.
Veröffentlicht: (2026)