Picture for Michael Schmitz

Michael Schmitz

Europa-Universität Flensburg

Molmo and PixMo: Open Weights and Open Data for State-of-the-Art Multimodal Models

Add code
Sep 25, 2024
Viaarxiv icon

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

Add code
Feb 08, 2022
Figure 1 for Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche
Figure 2 for Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche
Figure 3 for Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche
Figure 4 for Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche
Viaarxiv icon

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

Add code
Sep 11, 2019
Figure 1 for From 'F' to 'A' on the N.Y. Regents Science Exams: An Overview of the Aristo Project
Figure 2 for From 'F' to 'A' on the N.Y. Regents Science Exams: An Overview of the Aristo Project
Figure 3 for From 'F' to 'A' on the N.Y. Regents Science Exams: An Overview of the Aristo Project
Figure 4 for From 'F' to 'A' on the N.Y. Regents Science Exams: An Overview of the Aristo Project
Viaarxiv icon

AllenNLP: A Deep Semantic Natural Language Processing Platform

Add code
May 31, 2018
Viaarxiv icon