Franz Mayr

According to our database, Franz Mayr authored at least 11 papers between 2018 and 2024.

Collaborative distances:

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

2024

Congruence-based Learning of Probabilistic Deterministic Finite Automata.

Matías Carrasco, Franz Mayr, Sergio Yovine

CoRR, 2024

Analyzing constrained LLM through PDFA-learning.

Matías Carrasco, Franz Mayr, Sergio Yovine, Johny Kidd, Martín Iturbide, Juan Pedro da Silva, Alejo Garat

CoRR, 2024

2023

A Congruence-based Approach to Active Automata Learning from Neural Language Models.

Franz Mayr, Sergio Yovine, Matías Carrasco, Federico Pan, Federico Vilensky

Proceedings of the International Conference on Grammatical Inference, 2023

Results of Neural-Checker Toolbox in Taysir 2023 Competition.

Franz Mayr, Sergio Yovine, Matías Carrasco, Alejo Garat, Martín Iturbide, Juan da Silva, Federico Vilensky

Proceedings of the International Conference on Grammatical Inference, 2023

2022

Towards Efficient Active Learning of PDFA.

Franz Mayr, Sergio Yovine, Federico Pan, Nicolas Basset, Thao Dang

CoRR, 2022

The ROC Diagonal is Not Layperson's Chance: A New Baseline Shows the Useful Area.

André M. Carrington, Paul W. Fieguth, Franz Mayr, Nick D. James, Andreas Holzinger, John W. Pickering, Richard I. Aviv

Proceedings of the Machine Learning and Knowledge Extraction, 2022

2021

An Assessment of the Application of Private Aggregation of Ensemble Models to Sensible Data.

Sergio Yovine, Franz Mayr, Sebastián Sosa, Ramiro Visca

Mach. Learn. Knowl. Extr., 2021

Property Checking with Interpretable Error Characterization for Recurrent Neural Networks.

Franz Mayr, Sergio Yovine, Ramiro Visca

Mach. Learn. Knowl. Extr., 2021

2020

A new concordant partial AUC and partial c statistic for imbalanced data in the evaluation of machine learning algorithms.

André M. Carrington, Paul W. Fieguth, Hammad Qazi, Andreas Holzinger, Helen H. Chen, Franz Mayr, Douglas G. Manuel

BMC Medical Informatics Decis. Mak., 2020

On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks.

Franz Mayr, Ramiro Visca, Sergio Yovine

Proceedings of the Machine Learning and Knowledge Extraction, 2020

2018

Regular Inference on Artificial Neural Networks.

Franz Mayr, Sergio Yovine

Proceedings of the Machine Learning and Knowledge Extraction, 2018