©
M4 Fotostudio Mirja John
Prof. Dr. rer. nat. Marius Lindauer
Telefon
Adresse
Welfengarten 1
30167 Hannover
30167 Hannover
Gebäude
Raum
©
M4 Fotostudio Mirja John
Prof. Dr. rer. nat. Marius Lindauer
Telefon
In recent years, AI achieved impressive results in different fields, incl. in computer vision, natural language processing and reinforcement learning. These breakthroughs show how AI will influence and change our daily lives, business and even research in many aspects. With the advent of deep learning and also traditional AI methods, such as AI planning, SAT solving or evolutionary algorithms, a multitude of different techniques are available these days. However, applying these techniques is challenging, and even experienced AI developers are faced with several difficult design decisions, making the development of new AI applications a tedious, error-prone and time-consuming task. Therefore, we develop new approaches to increase efficiency in AI application development by reducing the required expert knowledge, improving development time and reducing chances of error. We do this with democratization of AI and social responsibility in mind.
Research Interests
Actually, I'm interested in many topics related to AutoML, machine learning, AI and interdisciplinary applications of these. Here are some selected topics:
- Green-AutoML
- Human-centered AutoML
- Dynamic Algorithm Configuration
- Generalization of Reinforcement Learning
- Applications to production or health/medicine
Publications
Zeige Ergebnisse 101 - 120 von 135
2018
Biedenkapp, A., Marben, J., Lindauer, M., & Hutter, F. (2018). CAVE: Configuration Assessment, Visualization and Evaluation. In P. M. Pardalos, R. Battiti, M. Brunato, & I. Kotsireas (Hrsg.), Learning and Intelligent Optimization (S. 115-130). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11353 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-05348-2_10
Eggensperger, K., Lindauer, M., Hoos, H. H., Hutter, F., & Leyton-Brown, K. (2018). Efficient benchmarking of algorithm configurators via model-based surrogates. Machine learning, 107(1), 15-41. https://doi.org/10.1007/s10994-017-5683-z
Eggensperger, K., Lindauer, M., & Hutter, F. (2018). Neural Networks for Predicting Algorithm Runtime Distributions. In J. Lang (Hrsg.), Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (S. 1442-1448). AAAI Press/International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2018/200
Feurer, M., Eggensperger, K., Falkner, S., Lindauer, M. T., & Hutter, F. (2018). Practical Automated Machine Learning for the AutoML Challenge 2018. https://www.tnt.uni-hannover.de/papers/data/1407/18-AUTOML-AutoChallenge.pdf
Lindauer, M., Hoos, H., Hutter, F., & Leyton-Brown, K. (2018). Selection and Configuration of Parallel Portfolios. In Handbook of Parallel Constraint Reasoning (S. 583-615). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-63516-3_15
Lindauer, M. T., van Rijn, J. N., & Kotthoff, L. (2018). The Algorithm Selection Competition Series 2015-17. Vorabveröffentlichung online. https://arxiv.org/abs/1805.01214v1
Lindauer, M., & Hutter, F. (2018). Warmstarting of Model-Based Algorithm Configuration. In 32nd AAAI Conference on Artificial Intelligence, AAAI 2018 (S. 1355-1362). (Proceedings of the AAAI Conference on Artificial Intelligence). AAAI Press/International Joint Conferences on Artificial Intelligence. https://arxiv.org/abs/1709.04636v3
Wagner, M., Lindauer, M., Mısır, M., Nallaperuma, S., & Hutter, F. (2018). A case study of algorithm selection for the traveling thief problem. Journal of heuristics, 24(3), 295-320. https://doi.org/10.1007/s10732-017-9328-y
2017
Biedenkapp, A., Lindauer, M., Eggensperger, K., Hutter, F., Fawcett, C., & Hoos, H. H. (2017). Efficient Parameter Importance Analysis via Ablation with Surrogates. In Proceedings of the AAAI Conference on Artificial Intelligence https://doi.org/10.1609/aaai.v31i1.10657
Hutter, F., Lindauer, M., Balint, A., Bayless, S., Hoos, H., & Leyton-Brown, K. (2017). The Configurable SAT Solver Challenge (CSSC). Artificial intelligence, 243, 1-25. https://doi.org/10.1016/j.artint.2016.09.006
Lindauer, M., Hutter, F., Hoos, H. H., & Schaub, T. (2017). AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract). In C. Sierra (Hrsg.), International Joint Conference on Artificial Intelligence (IJCAI 2017) (S. 5025-5029). AAAI Press/International Joint Conferences on Artificial Intelligence. https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&ved=2ahUKEwjo2uHc_87qAhVpzMQBHf2lDTwQFjABegQIAxAB&url=https%3A%2F%2Fwww.ijcai.org%2FProceedings%2F2017%2F0715.pdf&usg=AOvVaw1ART0bWLbCU4uLc4oV19yv
Lindauer, M. T., van Rijn, J. N., & Kotthoff, L. (2017). Open Algorithm Selection Challenge 2017 Setup and Scenarios. http://proceedings.mlr.press/v79/lindauer17a/lindauer17a.pdf
Wagner, M., Friedrich, T., & Lindauer, M. (2017). Improving local search in a minimum vertex cover solver for classes of networks. In 2017 IEEE Congress on Evolutionary Computation (CEC): Proceedings (S. 1704-1711). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/cec.2017.7969507
2016
Bischl, B., Kerschke, P., Kotthoff, L., Lindauer, M., Malitsky, Y., Fréchette, A., Hoos, H., Hutter, F., Leyton-Brown, K., Tierney, K., & Vanschoren, J. (2016). ASlib: A benchmark library for algorithm selection. Artificial intelligence, 237, 41-58. https://doi.org/10.1016/j.artint.2016.04.003
Lindauer, M., Bergdoll, R. D., & Hutter, F. (2016). An Empirical Study of Per-instance Algorithm Scheduling. In P. Festa, M. Sellmann, & J. Vanschoren (Hrsg.), Learning and Intelligent Optimization (S. 253-259). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 10079 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-50349-3_20
Lindauer, M., Hoos, H., Leyton-Brown, K., & Schaub, T. (2016). Automatic construction of parallel portfolios via algorithm configuration. Artificial intelligence, 244, 272-290. https://doi.org/10.1016/j.artint.2016.05.004
Manthey, N., & Lindauer, M. (2016). SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers. In D. Le Berre, & N. Creignou (Hrsg.), Theory and Applications of Satisfiability Testing – SAT 2016 (S. 554-561). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9710). Springer Verlag. https://doi.org/10.1007/978-3-319-40970-2_36
2015
Albrecht, S. V., Beck, J. C., Buckeridge, D. L., Botea, A., Caragea, C., Chi, C. H., Damoulas, T., Dilkina, B., Eaton, E., Fazli, P., Ganzfried, S., Giles, C. L., Guillet, S., Holte, R., Hutter, F., Koch, T., Leonetti, M., Lindauer, M., Machado, M. C., ... Zheng, Y. (2015). Reports on the 2015 AAAI Workshop Series. AI magazine, 36(2), 90-101. https://doi.org/10.1609/aimag.v36i2.2590
Falkner, S., Lindauer, M., & Hutter, F. (2015). SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers. In M. Heule, & S. Weaver (Hrsg.), Theory and Applications of Satisfiability Testing – SAT 2015 (S. 215-222). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9340). Springer Verlag. https://doi.org/10.1007/978-3-319-24318-4_16
Hutter, F., Lindauer, M., & Malitsky, Y. (2015). Preface. In Algorithm configuration: papers presented at the Twenty-Ninth AAAI Conference on Artificial Intelligence (S. vii). (AAAI Workshop - Technical Report).
