Fine-tuning vs. In-context Learning in Large Language Models: A Formal Language Learning Perspective  [ACL 2026]

Auditing Bias of Machine Learning Algorithms: Tools and Overview  [IJCAI 2023 Tutorial]

Fairness Verification in Machine Learning: A Formal Methods Approach  [AAAI 2022, 2021]

IMLI: Incremental learning of interpretable classification rules  [JAIR 2022, AIES 2019]