Source author record

Michael Schmitz

Michael Schmitz appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Artificial Intelligence cond-mat.mes-hall Computation and Language Distributed, Parallel, and Cluster Computing Human-Computer Interaction Logic in Computer Science Programming Languages

Catalog footprint

What is connected

5works

7topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche

We present and analyze the employment of the Diproche system, a natural language proof checker, within a one-semester mathematics beginners lecture with 228 participants. The system is used to check the students' solution attempts to proving exercises in Boolean set theory and elementary number theory and to give them immediate feedback. The benefits of the employment of the system are assessed via a questionnaire at the end of the semester and via analyzing the solution attempts of a subgroup of the students. Based on our results we develop approaches for future improvements.

preprint2021arXiv

From 'F' to 'A' on the N.Y. Regents Science Exams: An Overview of the Aristo Project

AI has achieved remarkable mastery over games such as Chess, Go, and Poker, and even Jeopardy, but the rich variety of standardized exams has remained a landmark challenge. Even in 2016, the best AI system achieved merely 59.3% on an 8th Grade science exam challenge. This paper reports unprecedented success on the Grade 8 New York Regents Science Exam, where for the first time a system scores more than 90% on the exam's non-diagram, multiple choice (NDMC) questions. In addition, our Aristo system, building upon the success of recent language models, exceeded 83% on the corresponding Grade 12 Science Exam NDMC questions. The results, on unseen test questions, are robust across different test years and different variations of this kind of test. They demonstrate that modern NLP methods can result in mastery on this task. While not a full solution to general question-answering (the questions are multiple choice, and the domain is restricted to 8th Grade science), it represents a significant milestone for the field.

preprint2016arXiv

Ballistic transport exceeding 28 μm in CVD grown graphene

We report on ballistic transport over more than 28 μm in graphene grown by chemical vapor deposition (CVD) that is fully encapsulated in hexagonal boron nitride. The structures are fabricated by an advanced dry van-der-Waals transfer method and exhibit carrier mobilities of up to three million cm$^2$/(Vs). The ballistic nature of charge transport is probed by measuring the bend resistance in cross- and square-shaped devices. Temperature dependent measurements furthermore prove that ballistic transport is maintained exceeding 1 μm up to 200 K.

preprint2015arXiv

Probing electronic lifetimes and phonon anharmonicities in high-quality chemical vapor deposited graphene by magneto-Raman spectroscopy

We present a magneto-Raman study on high-quality single-layer graphene grown by chemical vapor deposition (CVD) that is fully encapsulated in hexagonal boron nitride by a dry transfer technique. By analyzing the Raman D, G, and 2D peaks, we find that the structural quality of the samples is comparable to state-of-the-art exfoliated graphene flakes. From B field dependent Raman measurements, we extract the broadening and associated lifetime of the G peak due to anharmonic effects. Furthermore, we determine the decay width and lifetime of Landau level (LL) transitions from magneto-phonon resonances as a function of laser power. At low laser power, we find a minimal decay width of 140 1/cm highlighting the high electronic quality of the CVD-grown graphene. At higher laser power, we observe an increase of the LL decay width leading to a saturation with the corresponding lifetime saturating at a minimal value of 18 fs.

preprint2010arXiv

Programming Idioms for Transactional Events

Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and its implementation. This paper considers programming idioms, particularly those that vary unexpectedly from the corresponding CML idioms. First, we solve a subtle problem with client-server protocols in TE. Second, we argue that CML's wrap and guard primitives do not translate well to TE, and we suggest useful workarounds. Finally, we discuss how to rewrite CML protocols that use abort actions.