21 citations · 42 across the 4 of their papers we have counts for
4 papers
Canonical for Automated Theorem Proving in Lean
Chase Norman, Jeremy Avigad
Canonical is a solver for type inhabitation in dependent type theory, that is, the problem of producing a term of a given type. We present a Lean tactic which invokes Canonical to…
The Case for Globalizing Fairness: A Mixed Methods Study on Colonialism, AI, and Health in Africa
Mercy Asiedu, Awa Dieng, Iskandar Haykel +7
With growing application of machine learning (ML) technologies in healthcare, there have been calls for developing techniques to understand and mitigate biases these systems may ex…
Globalizing Fairness Attributes in Machine Learning: A Case Study on Health in Africa
Mercy Nyamewaa Asiedu, Awa Dieng, Abigail Oppong +3
With growing machine learning (ML) applications in healthcare, there have been calls for fairness in ML to understand and mitigate ethical concerns these systems may pose. Fairness…
Rich-Item Recommendations for Rich-Users: Exploiting Dynamic and Static Side Information
Amar Budhiraja, Gaurush Hiranandani, Darshak Chhatbar +5
In this paper, we study the problem of recommendation system where the users and items to be recommended are rich data structures with multiple entity types and with multiple sourc…