Suman Jana
14 papers
· 2012–2025
· 5 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Cross-Pollinator
(3)
π
Renaissance Researcher
(6)
πΊοΈ
Taxonomy Completionist
(21)
π
Conference Polyglot
(5)
π
Academic Marathon
(13)
π₯
Mega-Team
(71)
π
Century Club
(14)
π
Conference Pioneer
Conferences
NIPS (5)
ICLR (3)
ICML (3)
OSDI (2)
NAACL (1)
Top co-authors
Keywords
neural network verification
(4)
branch and bound
(3)
safety property
(2)
mixed integer programming
(2)
bound propagation
(2)
logic networks
(1)
program verification
(1)
semidefinite programming
(1)
convex relaxation
(1)
adversarial training
(1)
linear programming
(1)
distributionally robust optimization
(1)
adversarial attack
(1)
perturbation robustness
(1)
cutting plane
(1)
structural causal model
(1)
formal verification
(1)
invariant learning
(1)
network pruning
(1)
adversarial robustness
(1)