Botao Li
3 papers · 2022–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
Venues
Top co-authors
Research topics
Keywords
stochastic gradient descent
(1)
optimization landscape
(1)
weight decay
(1)
automated theorem proving
(1)
deep linear network
(1)
formal proof
(1)
saddle point
(1)
mini-batch sampling
(1)
neural network initialization
(1)
natural language reasoning
(1)
large language model
(1)
local maxima
(1)
global minima
(1)