Saranya Vijayakumar

4 papers · 2023–2025 · 4 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 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (12) 🐣 Hot Topic Early Bird 🏆 Grand Slam

Venues

AAAI (1) ICLR (1) ICML (1) NeurIPS (1)

Top co-authors

Zifan Wang (3) Matt Fredrikson (2) Somesh Jha (2) Namyong Park (1) Tu Trinh (1) Mirela T. Cazzolato (1) Agma J. M. Traina (1) Elaine Lau (1) Summer Yue (1) Pedro Fidalgo (1)

Research topics

Artificial Intelligence (3) Machine Learning (3) Core AI (3) Optimization & Theory (2) Computer Vision (1) Data Science & Analytics (1) Deep Learning (1) Knowledge & Reasoning (1) Analysis (1) Architectures (1) Core Methods (1) Methods (1) Reasoning (1)

Keywords

neural network (2) anomaly detection (1) feature extraction (1) symbolic reasoning (1) graph analysis (1) domain knowledge (1) fraud detection (1) safety evaluation (1) mechanistic interpretability (1) red teaming (1) interactive visualization (1) scalable algorithm (1) interpretable representation (1) abstract interpretation (1) call graph analysis (1) neuro-symbolic reasoning (1) agent safety (1) satisfiability modulo theories (1) harmful instruction (1) call graph (1)

Papers

Aligned LLMs Are Not Aligned Browser Agents ICLR 2025 Validating Mechanistic Interpretations: An Axiomatic Approach ICML 2025 Grounding Neural Inference with Satisfiability Modulo Theories NeurIPS 2023 TgrApp: Anomaly Detection and Visualization of Large-Scale Call Graphs AAAI 2023