Franz Mayr

11 papers C 3Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Analyzing constrained LLM through PDFA-learning.
CoRR
Matías Carrasco, Franz Mayr, Sergio Yovine, Johny Kidd, Martín Iturbide, Juan Pedro da Silva, Alejo Garat
2024 J jnl
Congruence-based Learning of Probabilistic Deterministic Finite Automata.
CoRR
Matías Carrasco, Franz Mayr, Sergio Yovine
2023 — conf
A Congruence-based Approach to Active Automata Learning from Neural Language Models.
ICGI
Franz Mayr, Sergio Yovine, Matías Carrasco, Federico Pan, Federico Vilensky
2023 — conf
Results of Neural-Checker Toolbox in Taysir 2023 Competition.
ICGI
Franz Mayr, Sergio Yovine, Matías Carrasco, Alejo Garat, Martín Iturbide, Juan da Silva, Federico Vilensky
2022 C conf
The ROC Diagonal is Not Layperson's Chance: A New Baseline Shows the Useful Area.
CD-MAKE
André M. Carrington, Paul W. Fieguth, Franz Mayr, Nick D. James, Andreas Holzinger, John W. Pickering, Richard I. Aviv
2022 J jnl
Towards Efficient Active Learning of PDFA.
CoRR
Franz Mayr, Sergio Yovine, Federico Pan, Nicolas Basset, Thao Dang
2021 J jnl
An Assessment of the Application of Private Aggregation of Ensemble Models to Sensible Data.
Mach. Learn. Knowl. Extr.
Sergio Yovine, Franz Mayr, Sebastián Sosa, Ramiro Visca
2021 J jnl
Property Checking with Interpretable Error Characterization for Recurrent Neural Networks.
Mach. Learn. Knowl. Extr.
Franz Mayr, Sergio Yovine, Ramiro Visca
2020 J jnl
A new concordant partial AUC and partial c statistic for imbalanced data in the evaluation of machine learning algorithms.
BMC Medical Informatics Decis. Mak.
André M. Carrington, Paul W. Fieguth, Hammad Qazi, Andreas Holzinger, Helen H. Chen, Franz Mayr, Douglas G. Manuel
2020 C conf
On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks.
CD-MAKE
Franz Mayr, Ramiro Visca, Sergio Yovine
2018 C conf
Regular Inference on Artificial Neural Networks.
CD-MAKE
Franz Mayr, Sergio Yovine