Mario A. Leiva
Orcid: 0000-0003-4812-8268
  According to our database1,
  Mario A. Leiva
  authored at least 16 papers
  between 2019 and 2025.
  
  
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
  2025
Error Detection and Correction for Interpretable Mathematics in Large Language Models.
    
  
    CoRR, August, 2025
    
  
Machine Learning Model Integration with Open World Temporal Logic for Process Automation.
    
  
    CoRR, June, 2025
    
  
Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments.
    
  
    CoRR, May, 2025
    
  
    CoRR, May, 2025
    
  
Multiple Distribution Shift - Aerial (MDS-A): A Dataset for Test-Time Error Detection and Model Adaptation.
    
  
    CoRR, February, 2025
    
  
Multiple Distribution Shift - Aerial (MDS-A): A Dataset for Test-Time Error Detection and Model Adaptation.
    
  
    Proceedings of the 2025 AAAI Spring Symposium Series, 2025
    
  
  2024
    CoRR, 2024
    
  
Machine Learning-driven Immersive Scenarios Classification and Generation for Virtual Reality.
    
  
    Proceedings of the L Latin American Computer Conference, 2024
    
  
  2023
Efficient and Effective Approximate Query Answering in Probabilistic DeLP (Thesis Summary).
    
  
    Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023
    
  
  2022
Argumentation-Based Query Answering under Uncertainty with Application to Cybersecurity.
    
  
    Big Data Cogn. Comput., 2022
    
  
  2020
Guidelines for the Analysis and Design of Argumentation-Based Recommendation Systems.
    
  
    IEEE Intell. Syst., 2020
    
  
Towards Effective and Efficient Approximate Query Answering in Probabilistic DeLP (short paper).
    
  
    Proceedings of the Workshop on Advances In Argumentation In Artificial Intelligence 2020 co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), 2020
    
  
  2019
    Proceedings of the Flexible Query Answering Systems - 13th International Conference, 2019
    
  
    Proceedings of the 3rd Workshop on Advances In Argumentation In Artificial Intelligence co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019), 2019