Latest papers

CardsList

38 papers8 papers in the last four weeks, up 100% on the four weeks before. 0.0% of all new papers.

  1. Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving

    Apr 1, 2026Devakh Rashie, Veda RashiLLM GuardrailsAI Regulatory Compliance

  2. RAD-AI: Rethinking Architecture Documentation for AI-Augmented Ecosystems

    Mar 30, 2026Oliver Aleksander Larsen, Mahyar T. MoghaddamSoftware Architecture DesignAI Regulatory Compliance

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

    Mar 27, 2026Vera Schmitt, Niklas Kruse, Premtim Sahitaj +1AI Regulatory ComplianceAI Governance

  4. Rule-State Inference (RSI): A Bayesian Framework for Compliance Monitoring in Rule-Governed Domains

    Mar 23, 2026Abdou-Raouf AtarmlaAI Regulatory ComplianceBayesian Inference

  5. Assessing Model-Agnostic XAI Methods against EU AI Act Explainability Requirements

    Mar 19, 2026Francesco Sovrano, Giulia Vilone, Michael LognoulAI Regulatory ComplianceExplainable Artificial Intelligence

  6. Modal Logical Neural Networks for Financial AI

    Mar 12, 2026Antonin SulcAI Regulatory ComplianceNeuro-Symbolic AI

  7. Incentive Aware AI Regulations: A Credal Characterisation

    Mar 5, 2026Anurag Singh, Julian Rodemann, Rajeev Verma +2Mechanism DesignImprecise Probability

  8. Operationalising AI Regulatory Sandboxes: Activities, Requirements, and Technical Assessment under the EU AI Act

    Sep 27, 2025Alessio Buscemi, Thibault Simonetto, Daniele Pagani +3AI AssuranceAI Governance