:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Saki, Amir, Faghihi, Usef
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Machine Learning Logic in Computer Science 62D20, 60A86, 03E72, 93C42, 68T37, 6008, 68T20, 68T27, 68U99 I.2.3; G.3
Online Access:	https://arxiv.org/abs/2406.13731
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Probabilistic Variational Causal Approach in Observational Studies
by: Faghihi, Usef, et al.
Published: (2022)

Probabilistic Easy Variational Causal Effect
by: Faghihi, Usef, et al.
Published: (2024)

Provability in BI's Sequent Calculus is Decidable
by: Gheorghiu, Alexander, et al.
Published: (2021)

Formalizing Pick's Theorem in Isabelle/HOL
by: Binder, Sage, et al.
Published: (2024)

Black Box Deployed -- Functional Criteria for Artificial Moral Agents in the LLM Era
by: Brophy, Matthew E.
Published: (2025)

Higher-Order Pattern Unification Modulo Similarity Relations
by: Dundua, Besik, et al.
Published: (2025)

Generating DDPM-based Samples from Tilted Distributions
by: Mandal, Himadri, et al.
Published: (2026)

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

Artificial intelligence and downscaling global climate model future projections
by: Benestad, Rasmus E.
Published: (2026)

ARCADIA: Scalable Causal Discovery for Corporate Bankruptcy Analysis Using Agentic AI
by: Maturo, Fabrizio, et al.
Published: (2025)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
by: Park, Sewon, et al.
Published: (2016)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
by: Farmer, William M.
Published: (2026)

CoMadOut -- A Robust Outlier Detection Algorithm based on CoMAD
by: Lohrer, Andreas, et al.
Published: (2022)

Hashing Modulo Context-Sensitive $α$-Equivalence
by: Blaauwbroek, Lasse, et al.
Published: (2024)

Fuzzy Logic Guided Reward Function Variation: An Oracle for Testing Reinforcement Learning Programs
by: Zhang, Shiyu, et al.
Published: (2024)

Quantum Random Self-Modifiable Computation
by: Fiske, Michael Stephen
Published: (2018)

Anatomy of a Formal Proof
by: Avigad, Jeremy, et al.
Published: (2024)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
by: Wang, Zili, et al.
Published: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
by: Kosaian, Katherine, et al.
Published: (2024)

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

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

Generative Models with ELBOs Converging to Entropy Sums
by: Warnken, Jan, et al.
Published: (2024)

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

Learning to Refine: An Agentic RL Approach for Iterative SPARQL Query Construction
by: Vossebeld, Floris, et al.
Published: (2025)

Propositional Measure Logic
by: Aragão, Francisco
Published: (2025)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
by: van der Meyden, Ron
Published: (2025)

Logical Modalities within the European AI Act: An Analysis
by: Lawniczak, Lara, et al.
Published: (2025)

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

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

Languages of Words of Low Automatic Complexity Are Hard to Compute
by: Chen, Joey, et al.
Published: (2025)

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

Normative Conditional Reasoning as a Fragment of HOL
by: Parent, Xavier, et al.
Published: (2023)

Continuous-time Risk-sensitive Reinforcement Learning via Quadratic Variation Penalty
by: Jia, Yanwei
Published: (2024)

Efficient Time Series Forecasting via Hyper-Complex Models and Frequency Aggregation
by: Yakir, Eyal, et al.
Published: (2025)

Redundancy rules for MaxSAT
by: Bonacina, Ilario, et al.
Published: (2025)

Derandomization with Pseudorandomness
by: Karayel, Emin
Published: (2024)

CHORUS: An Agentic Framework for Generating Realistic Deliberation Data
by: Koursaris, A., et al.
Published: (2026)

Formalising New Mathematics in Isabelle: Diagonal Ramsey
by: Paulson, Lawrence C
Published: (2025)

Solutions of Word Equations over Partially Commutative Structures
by: Diekert, Volker, et al.
Published: (2016)

Supercharging Federated Intelligence Retrieval
by: Stripelis, Dimitris, et al.
Published: (2026)