Thomas DiFiore

@tomdif

eml-lean. Lean 4 formalization of arXiv:2603.21852 — All elementary functions from a single binary operator eml(x,y) = exp(x) - ln(y)

31

cag-nasbench. Does CAG γ (Fiedler value of cell DAG's normalized Laplacian) predict ANN training convergence? Tested on NAS-Bench-201 across 15,625 pre-trained architectures without training.

1
2
Apply