Regular Inference on Artificial Neural Networks. - Franz Mayr; Sergio Yovine (CD-MAKE, 2018)

On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks. - Franz Mayr; Ramiro Visca; Sergio Yovine (CD-MAKE, 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)

Property Checking with Interpretable Error Characterization for Recurrent Neural Networks. - Franz Mayr; Sergio Yovine; Ramiro Visca (Mach. Learn. Knowl. Extr., 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)

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 (CD-MAKE, 2022)

Towards Efficient Active Learning of PDFA. - Franz Mayr; Sergio Yovine; Federico Pan; Nicolas Basset; Thao Dang 001 (CoRR, 2022)

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 (ICGI, 2023)

A Congruence-based Approach to Active Automata Learning from Neural Language Models. - Franz Mayr; Sergio Yovine; Matías Carrasco; Federico Pan; Federico Vilensky (ICGI, 2023)

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)

Congruence-based Learning of Probabilistic Deterministic Finite Automata. - Matías Carrasco; Franz Mayr; Sergio Yovine (CoRR, 2024)