Jacek Cyranka
2 papers
· 2021–2023
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌈
Renaissance Researcher
(5)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(14)
❓
The Questioner
Conferences
AAAI (1)
EACL (1)
Top co-authors
Keywords
stochastic optimization
(1)
formal verification
(1)
neural ordinary differential equation
(1)
model verification
(1)
lagrangian method
(1)
multilingual bert
(1)
reachability analysis
(1)
stochastic guarantee
(1)
adjoint sensitivity
(1)
language model probing
(1)
linguistic classification
(1)
structural probe
(1)