:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Koll, Charles, Hang, Preston Tan, Rosulek, Mike, Abbas, Houssam
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science B.5.0; I.2.4
Online Access:	https://arxiv.org/abs/2505.16059
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

T-Norm Operators for EU AI Act Compliance Classification: An Empirical Comparison of Lukasiewicz, Product, and Gödel Semantics in a Neuro-Symbolic Reasoning System
by: Laabs, Adam
Published: (2026)

Verification of Unbounded Client-Server Systems with Distinguishable Clients
by: Phawade, Ramchandra, et al.
Published: (2026)

A Three Steps Methodological Approach to Legal Governance Validation
by: Casanovas, Pompeu, et al.
Published: (2024)

Event-based Solutions for Human-centered Applications: A Comprehensive Review
by: Adra, Mira, et al.
Published: (2025)

Unified Local and Global Attention Interaction Modeling for Vision Transformers
by: Nguyen, Tan, et al.
Published: (2024)

A Computational Approach to Modeling Conversational Systems: Analyzing Large-Scale Quasi-Patterned Dialogue Flows
by: Ammar, Mohamed Achref Ben, et al.
Published: (2025)

A SHACL-based Data Consistency Solution for Contract Compliance Verification (Extended Paper)
by: David, Robert, et al.
Published: (2025)

Dynamically Reprogrammable Runtime Monitors for Bounded-time MTL
by: Hebballi, Chirantan, et al.
Published: (2026)

Trustworthiness Preservation by Copies of Machine Learning Systems
by: Ceragioli, Leonardo, et al.
Published: (2025)

Encoding argumentation frameworks with set attackers to propositional logic systems
by: Tang, Shuai, et al.
Published: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
by: Tang, Shuai
Published: (2025)

Proto-FG3D: Prototype-based Interpretable Fine-Grained 3D Shape Classification
by: Ma, Shuxian, et al.
Published: (2025)

How to Surprisingly Consider Recommendations? A Knowledge-Graph-based Approach Relying on Complex Network Metrics
by: Baumann, Oliver, et al.
Published: (2024)

Verification Challenge: Fractional Cascading for Multi-Nuclide Grid Lookup
by: Siegel, Andrew R.
Published: (2025)

Definite Descriptions and Hybrid Tense Logic
by: Indrzejczak, Andrzej, et al.
Published: (2024)

GuardSec: A Multi-Modal Web Platform for Real-Time Digital Fraud Detection, Entity Verification, and Connection Security Analysis in the African Context
by: Bansimba, Gilda Rech, et al.
Published: (2026)

Goal-conditioned reinforcement learning for ultrasound navigation guidance
by: Amadou, Abdoul Aziz, et al.
Published: (2024)

SpATr: MoCap 3D Human Action Recognition based on Spiral Auto-encoder and Transformer Network
by: Bouzid, Hamza, et al.
Published: (2023)

Locality in Residuated-Lattice Structures
by: Carr, James
Published: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
by: Coniglio, M. E., et al.
Published: (2026)

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
by: Ceragioli, Leonardo, et al.
Published: (2025)

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
by: Ceragioli, Leonardo, et al.
Published: (2025)

5G Traffic Prediction with Time Series Analysis
by: Nayak, Nikhil, et al.
Published: (2021)

A systematic review: Deep learning-based methods for pneumonia region detection
by: Xu, Xinmei
Published: (2024)

Formal Verification of Diffusion Auctions
by: Galimullin, Rustam, et al.
Published: (2025)

What's Not on the Plate? Rethinking Food Computing through Indigenous Indian Datasets
by: Gogoi, Pamir, et al.
Published: (2025)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
by: Schellhorn, Daniel Romero, et al.
Published: (2026)

A Coq-based Axiomatization of Tarski's Mereogeometry
by: Barlatier, Patrick, et al.
Published: (2025)

Efficient Neural Network Encoding for 3D Color Lookup Tables
by: Zehtab, Vahid, et al.
Published: (2024)

Comparing Apples to Oranges: A Taxonomy for Navigating the Global Landscape of AI Regulation
by: Alanoca, Sacha, et al.
Published: (2025)

Nash Meets Wertheimer: Using Good Continuation in Jigsaw Puzzles
by: Khoroshiltseva, Marina, et al.
Published: (2024)

LegalGuardian: A Privacy-Preserving Framework for Secure Integration of Large Language Models in Legal Practice
by: Demir, M. Mikail, et al.
Published: (2025)

Morita Rigidity for Kleene Algebras
by: Serafin, Luke
Published: (2025)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
by: Batten, Ben, et al.
Published: (2024)

Bridging SFT and DPO for Diffusion Model Alignment with Self-Sampling Preference Optimization
by: Zhang, Daoan, et al.
Published: (2024)

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
by: McCann, Alan L.
Published: (2026)

Empowering VLMs for Few-Shot Multimodal Time Series Classification via Tailored Agentic Reasoning
by: Li, Lin, et al.
Published: (2026)

FUTURE-AI: International consensus guideline for trustworthy and deployable artificial intelligence in healthcare
by: Lekadir, Karim, et al.
Published: (2023)

Computable Structuralism: A Categorical Rewrite Calculus of Mythic Variants
by: Segura, Juan J.
Published: (2026)

Modal Logics -- RNmatrices vs. Nmatrices
by: Coniglio, Marcelo E., et al.
Published: (2024)