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:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Error Detection and Correction for Interpretable Mathematics in Large Language Models.
CoRR, August, 2025

A Conceptual Framework for AI Capability Evaluations.
CoRR, June, 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

VLC Fusion: Vision-Language Conditioned Sensor Fusion for Robust Object Detection.
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
Do Large Language Models Show Biases in Causal Learning?
CoRR, 2024

Are UFOs Driving Innovation? The Illusion of Causality in Large Language Models.
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
DAQAP: Defeasible Argumentation Query Answering Platform.
Proceedings of the Flexible Query Answering Systems - 13th International Conference, 2019

Cyber Threat Analysis with Structured Probabilistic Argumentation.
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


  Loading...