Saranya Vijayakumar

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 6

Top Topics

One Class Support Vector Machines

Satisfiability Modulo Theories

Anomaly Detection

Top Venues

Publications

Nils Palumbo, Ravi Mangal, Zifan Wang, Saranya Vijayakumar, Corina S. Pasareanu, Somesh Jha
Mechanistically Interpreting a Transformer-based 2-SAT Solver: An Axiomatic Approach. CoRR (2024)
Mirela Teixeira Cazzolato, Saranya Vijayakumar, Meng-Chieh Lee, Catalina Vajiac, Namyong Park, Pedro Fidalgo, Agma J. M. Traina, Christos Faloutsos
CallMine: Fraud Detection and Visualization of Million-Scale Call Graphs. CIKM (2023)
Mirela T. Cazzolato, Saranya Vijayakumar, Xinyi Zheng, Namyong Park, Meng-Chieh Lee, Duen Horng Chau, Pedro Fidalgo, Bruno Lages, Agma J. M. Traina, Christos Faloutsos
TgrApp: Anomaly Detection and Visualization of Large-Scale Call Graphs. AAAI (2023)
Matt Fredrikson, Kaiji Lu, Saranya Vijayakumar, Somesh Jha, Vijay Ganesh, Zifan Wang
Learning Modulo Theories. CoRR (2023)
Zifan Wang, Saranya Vijayakumar, Kaiji Lu, Vijay Ganesh, Somesh Jha, Matt Fredrikson
Grounding Neural Inference with Satisfiability Modulo Theories. NeurIPS (2023)
Mirela T. Cazzolato, Saranya Vijayakumar, Xinyi Zheng, Namyong Park, Meng-Chieh Lee, Pedro Fidalgo, Bruno Lages, Agma J. M. Traina, Christos Faloutsos
TgraphSpot: Fast and Effective Anomaly Detection for Time-Evolving Graphs. Big Data (2022)