Login / Signup
Franz Mayr
ORCID
Publication Activity (10 Years)
Years Active: 2018-2024
Publications (10 Years): 10
Top Topics
Neural Network
Cascade Correlation
Imbalanced Data
Machine Learning Algorithms
Top Venues
CD-MAKE
CoRR
ICGI
Mach. Learn. Knowl. Extr.
</>
Publications
</>
Matías Carrasco
,
Franz Mayr
,
Sergio Yovine
,
Johny Kidd
,
Martín Iturbide
,
Juan Pedro da Silva
,
Alejo Garat
Analyzing constrained LLM through PDFA-learning.
CoRR
(2024)
Franz Mayr
,
Sergio Yovine
,
Matías Carrasco
,
Federico Pan
,
Federico Vilensky
A Congruence-based Approach to Active Automata Learning from Neural Language Models.
ICGI
(2023)
Franz Mayr
,
Sergio Yovine
,
Matías Carrasco
,
Alejo Garat
,
Martín Iturbide
,
Juan da Silva
,
Federico Vilensky
Results of Neural-Checker Toolbox in Taysir 2023 Competition.
ICGI
(2023)
André M. Carrington
,
Paul W. Fieguth
,
Franz Mayr
,
Nick D. James
,
Andreas Holzinger
,
John W. Pickering
,
Richard I. Aviv
The ROC Diagonal is Not Layperson's Chance: A New Baseline Shows the Useful Area.
CD-MAKE
(2022)
Franz Mayr
,
Sergio Yovine
,
Federico Pan
,
Nicolas Basset
,
Thao Dang
Towards Efficient Active Learning of PDFA.
CoRR
(2022)
Sergio Yovine
,
Franz Mayr
,
Sebastián Sosa
,
Ramiro Visca
An Assessment of the Application of Private Aggregation of Ensemble Models to Sensible Data.
Mach. Learn. Knowl. Extr.
3 (4) (2021)
Franz Mayr
,
Sergio Yovine
,
Ramiro Visca
Property Checking with Interpretable Error Characterization for Recurrent Neural Networks.
Mach. Learn. Knowl. Extr.
3 (1) (2021)
Franz Mayr
,
Ramiro Visca
,
Sergio Yovine
On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks.
CD-MAKE
(2020)
André M. Carrington
,
Paul W. Fieguth
,
Hammad Qazi
,
Andreas Holzinger
,
Helen H. Chen
,
Franz Mayr
,
Douglas G. Manuel
A new concordant partial AUC and partial c statistic for imbalanced data in the evaluation of machine learning algorithms.
BMC Medical Informatics Decis. Mak.
20 (1) (2020)
Franz Mayr
,
Sergio Yovine
Regular Inference on Artificial Neural Networks.
CD-MAKE
(2018)