Robust Mean Estimation by All Means (Short Paper). - Reynald Affeldt; Clark W. Barrett; Alessandro Bruni; Ieva Daukantas; Harun Khan; Takafumi Saikawa; Carsten Schürmann (ITP, 2024)

Novel Approach for Predicting the Air Quality Index of Megacities through Attention-Enhanced Deep Multitask Spatiotemporal Learning. - Harun Khan; Joseph Tso; Nathan Nguyen; Nivaan Kaushal; Ansh Malhotra; Nayel Rehman (CoRR, 2024)

Lean-SMT: An SMT tactic for discharging proof goals in Lean. - Abdalrhman Mohamed; Tomaz Mascarenhas; Harun Khan; Haniel Barbosa; Andrew Reynolds 001; Yicheng Qian; Cesare Tinelli; Clark W. Barrett (CoRR, 2025)