2023
Provable Fairness for Neural Network Models Using Formal Verification.
Proceedings of the 2nd European Workshop on Algorithmic Fairness, 2023

End-to-End Pipeline for Trigger Detection on Hit and Track Graphs.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Knowledge Authoring with Factual English.
Proceedings of the Proceedings 38th International Conference on Logic Programming, 2022

Trigger Detection for the sPHENIX Experiment via Bipartite Graph Networks with Set Transformer.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2022