2 papers
cs.AI2026
Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages
Michael Bouzinier, Sergey Trifonov, Michael Chumack +2
\textbf{Background:} Regulatory frameworks for AI in healthcare, including the EU AI Act and FDA guidance on AI/ML-based medical devices, require clinical decision support to demon…
math.HO2025
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development
Michael Bouzinier, Sergey Trifonov, Matthew Chen +2
Euclidean geometry has historically played a central role in cultivating logical reasoning and abstract thinking within mathematics education, but has experienced waning emphasis i…