Rajashree Agrawal
3 papers
· 2024–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🐝
Cross-Pollinator
(5)
🐣
Hot Topic Early Bird
👥
Mega-Team
(34)
Conferences
NIPS (2)
ICLR (1)
Top co-authors
Keywords
formal verification
(1)
neural network verification
(1)
jailbreaking attack
(1)
mechanistic interpretability
(1)
formal guarantee
(1)
accuracy lower bound
(1)
proof transferability
(1)
adversarial prompt
(1)
red teaming
(1)
context window
(1)
performance bound
(1)
large language model
(1)
transformer model
(1)
neural network
(1)
accuracy bound
(1)