Verified Functional Analysis for Safe AI

Projekter: Projekt › Forskning

  • 1 Konferencebidrag i proceedings
Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2025

    Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation

    Affeldt, R., Bruni, A., Cohen, C., Saikawa, T. & Roux, P., sep. 2025, 16th International Conference on Interactive Theorem Proving (ITP 2025). Bind 16. s. 1-20 20 s. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang