Picture for Mikel Lujan

Mikel Lujan

Tiny Classifier Circuits: Evolving Accelerators for Tabular Data

Add code
Feb 28, 2023
Viaarxiv icon

A Unified Theory of Diversity in Ensemble Learning

Add code
Jan 10, 2023
Viaarxiv icon

QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking

Add code
Nov 25, 2021
Figure 1 for QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking
Figure 2 for QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking
Figure 3 for QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking
Figure 4 for QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking
Viaarxiv icon

Robust SLAM Systems: Are We There Yet?

Add code
Sep 27, 2021
Figure 1 for Robust SLAM Systems: Are We There Yet?
Figure 2 for Robust SLAM Systems: Are We There Yet?
Figure 3 for Robust SLAM Systems: Are We There Yet?
Figure 4 for Robust SLAM Systems: Are We There Yet?
Viaarxiv icon

Energy Predictive Models for Convolutional Neural Networks on Mobile Platforms

Add code
Apr 10, 2020
Figure 1 for Energy Predictive Models for Convolutional Neural Networks on Mobile Platforms
Figure 2 for Energy Predictive Models for Convolutional Neural Networks on Mobile Platforms
Figure 3 for Energy Predictive Models for Convolutional Neural Networks on Mobile Platforms
Figure 4 for Energy Predictive Models for Convolutional Neural Networks on Mobile Platforms
Viaarxiv icon

Joint Training of Neural Network Ensembles

Add code
Feb 26, 2019
Figure 1 for Joint Training of Neural Network Ensembles
Figure 2 for Joint Training of Neural Network Ensembles
Figure 3 for Joint Training of Neural Network Ensembles
Figure 4 for Joint Training of Neural Network Ensembles
Viaarxiv icon