:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Barron, Ryan, Eren, Maksim E., Truong, Duc P., Matuszek, Cynthia, Wendelberger, James, Dorn, Mary F., Alexandrov, Boian
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Machine Learning Artificial Intelligence Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2503.04680
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Bridging Legal Knowledge and AI: Retrieval-Augmented Generation with Vector Stores, Knowledge Graphs, and Hierarchical Non-negative Matrix Factorization
von: Barron, Ryan C., et al.
Veröffentlicht: (2025)

Topic Modeling and Link-Prediction for Material Property Discovery
von: Barron, Ryan C., et al.
Veröffentlicht: (2025)

Binary Bleed: Fast Distributed and Parallel Method for Automatic Model Selection
von: Barron, Ryan, et al.
Veröffentlicht: (2024)

Cyber-Security Knowledge Graph Generation by Hierarchical Nonnegative Matrix Factorization
von: Barron, Ryan, et al.
Veröffentlicht: (2024)

HEAL: Hierarchical Embedding Alignment Loss for Improved Retrieval and Representation Learning
von: Bhattarai, Manish, et al.
Veröffentlicht: (2024)

Domain-Specific Retrieval-Augmented Generation Using Vector Stores, Knowledge Graphs, and Tensor Factorization
von: Barron, Ryan C., et al.
Veröffentlicht: (2024)

TopicTag: Automatic Annotation of NMF Topic Models Using Chain of Thought and Prompt Tuning with LLMs
von: Wanna, Selma, et al.
Veröffentlicht: (2024)

Tensor Train Low-rank Approximation (TT-LoRA): Democratizing AI with Accelerated LLMs
von: Anjum, Afia, et al.
Veröffentlicht: (2024)

Class of extensions of real field and their topological properties
von: Alexandrov, E. V.
Veröffentlicht: (2025)

Catch'em all: Classification of Rare, Prominent, and Novel Malware Families
von: Eren, Maksim E., et al.
Veröffentlicht: (2024)

A New Tractable Description Logic under Categorical Semantics
von: Duc, Chan Le, et al.
Veröffentlicht: (2025)

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
von: Gladyshev, Maksim, et al.
Veröffentlicht: (2025)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
von: Aria, Hadi Partovi, et al.
Veröffentlicht: (2026)

Database Querying under Missing Values Governed by Missingness Mechanisms
von: Bertossi, Leopoldo, et al.
Veröffentlicht: (2026)

A very sharp threshold for first order logic distinguishability of random graphs
von: Benjamini, Itai, et al.
Veröffentlicht: (2022)

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
von: Seifer, Philipp, et al.
Veröffentlicht: (2024)

Tensor-Train Operator Inference
von: Danis, Engin, et al.
Veröffentlicht: (2025)

Inferring multiple helper Dafny assertions with LLMs
von: Silva, Álvaro, et al.
Veröffentlicht: (2025)

First order complexity of finite random structures
von: Demin, Danila, et al.
Veröffentlicht: (2024)

Boolean Matrix Logic Programming on the GPU
von: Ai, Lun
Veröffentlicht: (2024)

A Tensor Train-Based Isogeometric Solver for Large-Scale 3D Poisson Problems on Complex Geometries
von: Tran, Quoc Thai, et al.
Veröffentlicht: (2025)

LaFA: Latent Feature Attacks on Non-negative Matrix Factorization
von: Vu, Minh, et al.
Veröffentlicht: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
von: Ibeling, Duligur, et al.
Veröffentlicht: (2024)

Mathematics with large language models as provers and verifiers
von: Duc, Hieu Le, et al.
Veröffentlicht: (2025)

Grounding Synthetic Data Evaluations of Language Models in Unsupervised Document Corpora
von: Majurski, Michael, et al.
Veröffentlicht: (2025)

Query Disambiguation via Answer-Free Context: Doubling Performance on Humanity's Last Exam
von: Majurski, Michael, et al.
Veröffentlicht: (2026)

Factorizing formal contexts from closures of necessity operators
von: Aragón, Roberto G., et al.
Veröffentlicht: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

Similarity-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

A logical approach to concentration
von: Benedikt, Michael, et al.
Veröffentlicht: (2026)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2020)

Explaining Bayesian Networks in Natural Language using Factor Arguments. Evaluation in the medical domain
von: Sevilla, Jaime, et al.
Veröffentlicht: (2024)

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2023)

Tensor Network Space-Time Spectral Collocation Method for Time Dependent Convection-Diffusion-Reaction Equations
von: Adak, Dibyendu, et al.
Veröffentlicht: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)