Feier Lyu

0009-0000-5670-8831

E-Mails 📧

moc.duolci@035reief

Entries

2026

First-Order Methods for Smooth Convex Optimization in Isabelle/HOL

by Feier Lyu

Jul 02

Greedy Algorithms for Cardinality-Constrained Submodular Maximization

by Feier Lyu

May 26