Picture for Peter Baumgartner

Peter Baumgartner

CON-FOLD -- Explainable Machine Learning with Confidence

Add code
Aug 14, 2024
Viaarxiv icon

Automated Theorem Provers Help Improve Large Language Model Reasoning

Add code
Aug 07, 2024
Viaarxiv icon

Bottom-Up Grounding in the Probabilistic Logic Programming System Fusemate

Add code
Jun 13, 2023
Viaarxiv icon

Movement Analytics: Current Status, Application to Manufacturing, and Future Prospects from an AI Perspective

Add code
Oct 04, 2022
Figure 1 for Movement Analytics: Current Status, Application to Manufacturing, and Future Prospects from an AI Perspective
Figure 2 for Movement Analytics: Current Status, Application to Manufacturing, and Future Prospects from an AI Perspective
Figure 3 for Movement Analytics: Current Status, Application to Manufacturing, and Future Prospects from an AI Perspective
Figure 4 for Movement Analytics: Current Status, Application to Manufacturing, and Future Prospects from an AI Perspective
Viaarxiv icon

North Carolina COVID-19 Agent-Based Model Framework for Hospitalization Forecasting Overview, Design Concepts, and Details Protocol

Add code
Jun 08, 2021
Figure 1 for North Carolina COVID-19 Agent-Based Model Framework for Hospitalization Forecasting Overview, Design Concepts, and Details Protocol
Figure 2 for North Carolina COVID-19 Agent-Based Model Framework for Hospitalization Forecasting Overview, Design Concepts, and Details Protocol
Viaarxiv icon

SMART: An Open Source Data Labeling Platform for Supervised Learning

Add code
Dec 11, 2018
Figure 1 for SMART: An Open Source Data Labeling Platform for Supervised Learning
Viaarxiv icon

Tableaux for Policy Synthesis for MDPs with PCTL* Constraints

Add code
Oct 06, 2017
Figure 1 for Tableaux for Policy Synthesis for MDPs with PCTL* Constraints
Viaarxiv icon

Blocking and Other Enhancements for Bottom-Up Model Generation Methods

Add code
Nov 29, 2016
Figure 1 for Blocking and Other Enhancements for Bottom-Up Model Generation Methods
Figure 2 for Blocking and Other Enhancements for Bottom-Up Model Generation Methods
Viaarxiv icon