Mukul Prasad
2 papers · 2017–2022 · 2 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
๐
Academic Marathon ยท Sprint
๐
Interdisciplinary Bridge ยท Bronze
Venues
Top co-authors
Research topics
Keywords
masked language model
(1)
tabular data
(1)
software-defined networking
(1)
network verification
(1)
data plane
(1)
forwarding behavior
(1)
reachability invariant
(1)
real-time checking
(1)
semantic encoding
(1)
real-time verification
(1)
packet forwarding
(1)
sdn network
(1)
quasi-linear algorithm
(1)
ordinal encoding
(1)
automl platform
(1)