Dr. Karen Seidel

This is an archived page of a former group member.
Karen Seidel is now a postdocoral researcher in the Mathematical Statistics and Machine Learning group at the University of Potsdam.

Research Interests

I am interested in machine and human learning of mathematics and computer science.

My current main research interest lies in algorithmic learning theory with its connections to artificial intelligence, cognitive science and various areas of computer science. I aim at giving an intuition about how memory restrictions and desired properties of the learner's behavior (while learning) effect what is learnable.

Selected Conferences, Workshops and Seminars

08/2019 International Symposium on Mathematical Foundations of Computer Science (MFCS19)
10/2017 International Conference on Algorithmic Learning Theory (ALT17)
09/2017 Herbsttagung des GDM-Arbeitskreises Mathematik und Bildung
08/2017 Arbeitstreff en Computability and Reducibility
02/2017 Jahrestagung der Gesellschaft für Didaktik der Mathematik
07/2016 International Congress on Mathematics Education (ICME16)
02/2011 Winter School in Abstract Analysis Section Set Theory
01/2010 Indian School on Logic and its Applications (ISLA10)

Publications

2022

  •  

    Böther, Maximilian; Kißig, Otto; Taraz, Martin; Cohen, Sarel; Seidel, Karen; Friedrich, TobiasWhat’s Wrong with Deep Learning in Tree Search for Combinatorial OptimizationInternational Conference on Learning Representations (ICLR) 2022

    [ ][ URL ][ Download ]

2021

  •  

    Göbel, Andreas; Lagodzinski, J. A. Gregor; Seidel, KarenCounting Homomorphisms to Trees Modulo a PrimeACM Transactions on Computation Theory 2021

    [ ][ URL ][ DOI ][ Download ]

  •  

    Khazraei, Ardalan; Kötzing, Timo; Seidel, KarenTowards a Map for Incremental Learning in the Limit from Positive and Negative InformationComputability in Europe (CiE) 2021: 273–284

    [ ][ URL ][ DOI ][ Download ]

  •  

    Kötzing, Timo; Seidel, KarenLearning Languages in the Limit from Positive Information with Finitely Many Memory ChangesComputability in Europe (CiE) 2021: 318–329

    [ ][ URL ][ DOI ][ Download ]

2020

  •  

    Khazraei, Ardalan; Kötzing, Timo; Seidel, KarenLearning Half-Spaces and other Concept Classes in the Limit with Iterative LearnersCoRR 2020

    [ ][ URL ][ Download ]

  •  

    Kötzing, Timo; Seidel, KarenLearning Languages in the Limit from Positive Information with Finitely Many Memory ChangesCoRR 2020

    [ ][ URL ][ Download ]

2019

  •  

    Gao, Ziyuan; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Melnikov, Alexander; Seidel, Karen; Stephan, FrankRandom Subgroups of RationalsMathematical Foundations of Computer Science (MFCS) 2019: 25:1–25:14

    [ ][ URL ][ DOI ][ Download ]

2018

  •  

    Aschenbach, Martin; Kötzing, Timo; Seidel, KarenLearning from Informants: Relations between Learning Success CriteriaCoRR 2018

    [ ][ Download ]

  •  

    Göbel, Andreas; Lagodzinski, J. A. Gregor; Seidel, KarenCounting Homomorphisms to Trees Modulo a PrimeMathematical Foundations of Computer Science (MFCS) 2018: 49:1–49:13

    [ ][ URL ][ DOI ][ Download ]

2017

  •  

    Seidel, KarenZu mathematischen Argumentationen eines Experten aus einer semiotischen PerspektiveBeiträge zum Mathematikunterricht 2017 2017: 897–900

    [ ][ URL ][ DOI ][ Download ]

  •  

    Kötzing, Timo; Schirneck, Martin; Seidel, KarenNormal Forms in Semantic Language IdentificationAlgorithmic Learning Theory (ALT) 2017: 493–516

    [ ][ URL ][ Download ]

  •  

    Hölzl, Rupert; Jain, Sanjay; Schlicht, Philipp; Seidel, Karen; Stephan, FrankAutomatic Learning from Repetitive TextsAlgorithmic Learning Theory (ALT) 2017: 129–150

    [ ][ URL ][ Download ]

2013

  •  

    Koepke, Peter; Räsch, Karen; Schlicht, PhilippA minimal Prikry-type forcing for singularizing a measurable cardinalThe Journal of Symbolic Logic 2013: 85–100

    [ ][ DOI ][ Download ]