Nadine Karsten

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Hidden Markov Models

Active Learning

Learning Mechanism

Top Venues

Publications

Nadine Karsten, Uwe Nestmann
Store Locally, Prove Globally. ICTAC (2023)
Nadine Karsten, Frederik Krogsdal Jacobsen, Kim Jana Eiken, Uwe Nestmann, Jørgen Villadsen
ProofBuddy: A Proof Assistant for Learning and Monitoring. CoRR (2023)
Nadine Karsten, Uwe Nestmann
Beweiskompetenz durch Beweisassistenz. DELFI (2022)