activity
20232025
collaborators

5 papers

cs.DM2025

LogicLearner: A Tool for the Guided Practice of Propositional Logic Proofs

Amogh Inamdar, Uzay Macar, Michel Vazirani +6

The study of propositional logic -- fundamental to the theory of computing -- is a cornerstone of the undergraduate computer science curriculum. Learning to solve logical proofs re…

cs.LG2025

Handling Uncertainty in Health Data using Generative Algorithms

Mahdi Arab Loodaricheh, Neh Majmudar, Anita Raja +1

Understanding and managing uncertainty is crucial in machine learning, especially in high-stakes domains like healthcare, where class imbalance can impact predictions. This paper i…

cs.CY2024

Hierarchical Multi-Armed Bandits for the Concurrent Intelligent Tutoring of Concepts and Problems of Varying Difficulty Levels

Blake Castleman, Uzay Macar, Ansaf Salleb-Aouissi

Remote education has proliferated in the twenty-first century, yielding rise to intelligent tutoring systems. In particular, research has found multi-armed bandit (MAB) intelligent…

cs.LG2024

M-DEW: Extending Dynamic Ensemble Weighting to Handle Missing Values

Adam Catto, Nan Jia, Ansaf Salleb-Aouissi +1

Missing value imputation is a crucial preprocessing step for many machine learning problems. However, it is often considered as a separate subtask from downstream applications such…

cs.CY2023

Teenagers and Artificial Intelligence: Bootcamp Experience and Lessons Learned

Uzay Macar, Blake Castleman, Noah Mauchly +8

Artificial intelligence (AI) stands out as a game-changer in today's technology landscape. However, the integration of AI education in classroom curricula currently lags behind, le…