Saranya Vijayakumar

According to our database, Saranya Vijayakumar authored at least 6 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Mechanistically Interpreting a Transformer-based 2-SAT Solver: An Axiomatic Approach.

Nils Palumbo, Ravi Mangal, Zifan Wang, Saranya Vijayakumar, Corina S. Pasareanu, Somesh Jha

CoRR, 2024

2023

Learning Modulo Theories.

Matt Fredrikson, Kaiji Lu, Saranya Vijayakumar, Somesh Jha, Vijay Ganesh, Zifan Wang

CoRR, 2023

Grounding Neural Inference with Satisfiability Modulo Theories.

Zifan Wang, Saranya Vijayakumar, Kaiji Lu, Vijay Ganesh, Somesh Jha, Matt Fredrikson

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

CallMine: Fraud Detection and Visualization of Million-Scale Call Graphs.

Mirela Teixeira Cazzolato, Saranya Vijayakumar, Meng-Chieh Lee, Catalina Vajiac, Namyong Park, Pedro Fidalgo, Agma J. M. Traina, Christos Faloutsos

Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023

TgrApp: Anomaly Detection and Visualization of Large-Scale Call Graphs.

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

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

TgraphSpot: Fast and Effective Anomaly Detection for Time-Evolving Graphs.

Mirela T. Cazzolato, Saranya Vijayakumar, Xinyi Zheng, Namyong Park, Meng-Chieh Lee, Pedro Fidalgo, Bruno Lages, Agma J. M. Traina, Christos Faloutsos

Proceedings of the IEEE International Conference on Big Data, 2022