publications

2025

  1. Conference
    Generating Safety-Critical Automotive C-programs using LLMs with Formal Verification
    Merlijn Sevenhuijsen, Minal Suresh Patil, Mattias Nyberg, and 1 more author
    In Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, 2025
    HTML

2024

  1. Conference
    Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software
    Minal Suresh Patil, Gustav Ung, and Mattias Nyberg
    In International Conference on Bridging the Gap Between AI and Reality (AISoLA), 2024
    HTML
  2. Conference
    Enhancing Vulnerable Class Robustness in Adversarial Machine Learning
    Minal Suresh Patil, and Kary Främling
    In 2024 International Joint Conference on Neural Networks (IJCNN), 2024
    HTML

2023

  1. Conference
    Investigating Lipschitz Constants in Neural Ensemble Models to Improve Adversarial Robustness
    Minal Suresh Patil, and Kary Främling
    In 2023 7th International Conference on System Reliability and Safety (ICSRS), 2023
    HTML
  2. Conference
    Improving Neural Network Verification Efficiency Through Perturbation Refinement
    Minal Suresh Patil, and Kary Främling
    In Artificial Neural Networks and Machine Learning – ICANN 2023, 2023
    HTML
  3. Conference
    Do Intermediate Feature Coalitions Aid Explainability of Black-Box Models?
    Minal Suresh Patil, and Kary Främling
    In Explainable Artificial Intelligence – xAI 2023, 2023
    HTML

2022

  1. Workshop
    Explainability in Autonomous Pedagogically Structured Scenarios
    Minal Suresh Patil
    In Explainable Agency in Artificial Intelligence Workshop, 36th AAAI Conference on Artificial Intelligence (AAAI-22), 2022
    HTML