Kochenderfer, Mykel J.

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

Katz, G., Barrett, C., Dill, D. L., Julian, K., & Kochenderfer, M. J. (2017) · Lecture Notes in Computer Science

Formal Methods in VerificationSoftware Testing and Debugging Techniques

Cited by 1,706

The Marabou Framework for Verification and Analysis of Deep Neural Networks

Katz, G., Huang, D. A., Ibeling, D., Julian, K., Lazarus, C., Lim, R., Shah, P., Thakoor, S., Wu, H., Zeljić, A., et al. (2019) · Lecture Notes in Computer Science

Formal Methods in VerificationSoftware Testing and Debugging Techniques

Cited by 517

Towards Proving the Adversarial Robustness of Deep Neural Networks

Katz, G., Barrett, C., Dill, D. L., Julian, K., & Kochenderfer, M. J. (2017) · Electronic Proceedings in Theoretical Computer Science

Adversarial Robustness in Machine LearningFormal Methods in Verification

Cited by 115

Rank2Tell: A Multimodal Driving Dataset for Joint Importance Ranking and Reasoning

Sachdeva, E., Agarwal, N., Chundi, S., Roelofs, S., Li, J., Kochenderfer, M., Choi, C., & Dariush, B. (2024) · 2024 IEEE/CVF Winter Conference on Applications of Computer Vision (WACV)

Multimodal Machine Learning ApplicationsAutonomous Vehicle Technology and Safety

Cited by 63

When AI Benchmarks Plateau: A Systematic Study of Benchmark Saturation

Akhtar, M., Reuel, A., Soni, P., Ahuja, S., Ammanamanchi, P. S., Rawal, R., Zouhar, V., Yadav, S., Whitehouse, C., Ki, D., et al. (2026) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 3

Enter the Mind Palace: Reasoning and Planning for Long-term Active Embodied Question Answering

Ginting, M. F., Kim, D.-K., Meng, X., Reinke, A., Krishna, B. J., Kayhani, N., Peltzer, O., Fan, D. D., Shaban, A., Kim, S.-K., et al. (2025) · arXiv

AI-based Problem Solving and PlanningRobot Manipulation and Learning

Cited by 0