:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Barron, Ryan, Eren, Maksim E., Truong, Duc P., Matuszek, Cynthia, Wendelberger, James, Dorn, Mary F., Alexandrov, Boian
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Artificial Intelligence Logic in Computer Science
Online Access:	https://arxiv.org/abs/2503.04680
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Topic Modeling and Link-Prediction for Material Property Discovery
by: Barron, Ryan C., et al.
Published: (2025)

Binary Bleed: Fast Distributed and Parallel Method for Automatic Model Selection
by: Barron, Ryan, et al.
Published: (2024)

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

HEAL: Hierarchical Embedding Alignment Loss for Improved Retrieval and Representation Learning
by: Bhattarai, Manish, et al.
Published: (2024)

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

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

Tensor Train Low-rank Approximation (TT-LoRA): Democratizing AI with Accelerated LLMs
by: Anjum, Afia, et al.
Published: (2024)

Class of extensions of real field and their topological properties
by: Alexandrov, E. V.
Published: (2025)

Catch'em all: Classification of Rare, Prominent, and Novel Malware Families
by: Eren, Maksim E., et al.
Published: (2024)

A New Tractable Description Logic under Categorical Semantics
by: Duc, Chan Le, et al.
Published: (2025)

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
by: Gladyshev, Maksim, et al.
Published: (2025)

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

Database Querying under Missing Values Governed by Missingness Mechanisms
by: Bertossi, Leopoldo, et al.
Published: (2026)

A very sharp threshold for first order logic distinguishability of random graphs
by: Benjamini, Itai, et al.
Published: (2022)

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
by: Seifer, Philipp, et al.
Published: (2024)

Tensor-Train Operator Inference
by: Danis, Engin, et al.
Published: (2025)

Inferring multiple helper Dafny assertions with LLMs
by: Silva, Álvaro, et al.
Published: (2025)

First order complexity of finite random structures
by: Demin, Danila, et al.
Published: (2024)

Boolean Matrix Logic Programming on the GPU
by: Ai, Lun
Published: (2024)

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

On Probabilistic and Causal Reasoning with Summation Operators
by: Ibeling, Duligur, et al.
Published: (2024)

LaFA: Latent Feature Attacks on Non-negative Matrix Factorization
by: Vu, Minh, et al.
Published: (2024)

Mathematics with large language models as provers and verifiers
by: Duc, Hieu Le, et al.
Published: (2025)

Factorizing formal contexts from closures of necessity operators
by: Aragón, Roberto G., et al.
Published: (2026)

Grounding Synthetic Data Evaluations of Language Models in Unsupervised Document Corpora
by: Majurski, Michael, et al.
Published: (2025)

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

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

Abductive Reasoning in a Paraconsistent Framework
by: Bienvenu, Meghyn, et al.
Published: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
by: Joyce, Johnny
Published: (2025)

Dynamic Logic of Trust-Based Beliefs
by: Jiang, Junli, et al.
Published: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
by: Bonanno, Giacomo
Published: (2026)

Similarity-based analogical proportions
by: Antić, Christian
Published: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

A logical approach to concentration
by: Benedikt, Michael, et al.
Published: (2026)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
by: Bienvenu, Meghyn, et al.
Published: (2020)

Explaining Bayesian Networks in Natural Language using Factor Arguments. Evaluation in the medical domain
by: Sevilla, Jaime, et al.
Published: (2024)

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

Queries With Exact Truth Values in Paraconsistent Description Logics
by: Bienvenu, Meghyn, et al.
Published: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)