auto-res/lean-rademacher

Sonoda, Sho; Kasaura, Kazumi; Mizuno, Yuma; Tsukamoto, Kei; Onda, Naoto

doi:10.4230/artifacts.27120

Artifact

auto-res/lean-rademacher Software

Authors Sho Sonoda , Kazumi Kasaura , Yuma Mizuno , Kei Tsukamoto , Naoto Onda

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2026-07-16

Document Identifiers

DOI: 10.4230/artifacts.27120
URN: urn:nbn:de:0030-drops-271209

Author Details

Sho Sonoda

RIKEN AIP, Tokyo, Japan
CyberAgent Inc., Tokyo, Japan

Kazumi Kasaura

OMRON SINIC X Corporation, Tokyo, Japan

Yuma Mizuno

University College Cork, Ireland

Kei Tsukamoto

The University of Tokyo, Japan

Naoto Onda

OMRON SINIC X Corporation, Tokyo, Japan

Content

Software (Source Code): https://github.com/auto-res/lean-rademacher/tree/f34ab4f0a9029682f1af3179a3fe9b5e114e511f
archived version

Version/Status

Content created at: 2025-03-25
Status: Active (at the time of publication 2026-07-16)

Cite As Get BibTex

Sho Sonoda, Kazumi Kasaura, Yuma Mizuno, Kei Tsukamoto, Naoto Onda. auto-res/lean-rademacher (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.27120

Description

Lean Formalization of Generalization Error Bound by Rademacher Complexity and Dudley's Entropy Integral

Subject Classification

Programming Languages

Lean

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail