Skip to content
Build

Formalize the Leshno universal approximation theorem #101

Sign in to view logs

Formalize the Leshno universal approximation theorem

Formalize the Leshno universal approximation theorem #101

This workflow is awaiting approval from a maintainer in #246
Triggered via pull request September 23, 2026 04:10
@yuanyi-350yuanyi-350
synchronize #246
yuanyi-350:formalize-llps-universal-approximation
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #246

build.yml

on: pull_request
Build project
Build project
Fit to window
Zoom out
Zoom in