PXAI Audio Feed
31/03 07:00 arxiv.org

Compliance-Aware Predictive Process Monitoring: A Neuro-Symbolic Approach

predictive monitoringneuro‑symbolic AILogic Tensor Networksprocess compliancedata‑driven predictiondomain knowledge integration
31/03 07:00 arxiv.org

Multiverse: Language-Conditioned Multi-Game Level Blending via Shared Representation

text-to-levelprocedural content generationmulti-gameshared latent spacecontrastive learninglevel blending
31/03 07:00 arxiv.org

When Verification Hurts: Asymmetric Effects of Multi-Agent Feedback in Logic Proof Tutoring

logic tutoringlarge language modelsstep‑level feedbackknowledge graphsymbolic reasoningbenchmark
31/03 07:00 arxiv.org

Transparency as Architecture: Structural Compliance Gaps in EU AI Act Article 50 II

EU AI Acttransparencygenerative AIcompliancefact‑checkingdual labeling
31/03 07:00 arxiv.org

Neuro-Symbolic Learning for Predictive Process Monitoring via Two-Stage Logic Tensor Networks with Rule Pruning

neuro-symbolicpredictive process monitoringlogic tensor networksrule pruningtemporal logicdomain knowledge
31/03 07:00 arxiv.org

Concerning Uncertainty -- A Systematic Survey of Uncertainty-Aware XAI

Uncertainty-aware XAIUAXAIBayesianMonte CarloConformalexplanation trustworthiness
31/03 07:00 arxiv.org

MediHive: A Decentralized Agent Collective for Medical Reasoning

MediHivedecentralized multi‑agent systemmedical reasoninglarge language modelshealthcare AIuncertainty management
31/03 07:00 arxiv.org

The Price of Meaning: Why Every Semantic Memory System Forgets

semantic memoryforgettinginterferencekernel-thresholdgeneralizationrepresentation
31/03 07:00 arxiv.org

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?

FormalProofBenchformal verificationLean 4graduate mathematicsbenchmarknatural‑language
31/03 07:00 arxiv.org

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?

FormalProofBenchformal verificationLean 4graduate mathematicsbenchmarknatural‑language
Comments
Loading...
0