Minal Suresh Patil

According to our database, Minal Suresh Patil authored at least 11 papers between 2022 and 2025.

Collaborative distances:

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

2025

Generating Safety-Critical Automotive C-programs using LLMs with Formal Verification.

Merlijn Sevenhuijsen, Minal Suresh Patil, Mattias Nyberg, Gustav Ung

Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning (NeSy 2025), 2025

2024

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software.

Minal Suresh Patil, Gustav Ung, Mattias Nyberg

Proceedings of the Bridging the Gap Between AI and Reality, 2024

Enhancing Vulnerable Class Robustness in Adversarial Machine Learning.

Minal Suresh Patil, Kary Främling

Proceedings of the International Joint Conference on Neural Networks, 2024

2023

Context, Utility and Influence of an Explanation.

Minal Suresh Patil, Kary Främling

CoRR, 2023

Do Intermediate Feature Coalitions Aid Explainability of Black-Box Models?

Minal Suresh Patil, Kary Främling

Proceedings of the Explainable Artificial Intelligence, 2023

Investigating Lipschitz Constants in Neural Ensemble Models to Improve Adversarial Robustness.

Minal Suresh Patil, Kary Främling

Proceedings of the 7th International Conference on System Reliability and Safety, 2023

Improving Neural Network Verification Efficiency Through Perturbation Refinement.

Minal Suresh Patil, Kary Främling

Proceedings of the Artificial Neural Networks and Machine Learning, 2023

2022

Online Handbook of Argumentation for AI: Volume 3.

Lars Bengel, Elfia Bezou-Vrakatseli, Lydia Blümel, Federico Castagna, Giulia D'Agostino, Daphne Odekerken, Minal Suresh Patil, Jordan Robinson, Hao Wu, Andreas Xydis

CoRR, 2022

Towards Preserving Semantic Structure in Argumentative Multi-Agent via Abstract Interpretation.

Minal Suresh Patil

CoRR, 2022

Explainability in autonomous pedagogically structured scenarios.

Minal Suresh Patil

CoRR, 2022

Modelling Control Arguments via Cooperation Logic in Unforeseen Scenarios.

Minal Suresh Patil

CoRR, 2022