9 citations · 25 across the 22 of their papers we have counts for
3 papers · 1 filter
An Instrument to Evaluate Governance Proposals: AI Policy Analysis at Scale
Paulo Carvao, Claudio Mayrink Verdun, Isabel Adler +1
This paper introduces a policy analysis framework for systematic, transparent assessment of AI governance proposals in an evolving and contested regulatory landscape. AI policy deb…
ProofCompass: Enhancing Specialized Provers with LLM Guidance
Nicolas Wischermann, Claudio Mayrink Verdun, Gabriel Poesia +1
Language models have become increasingly powerful tools for formal mathematical reasoning. However, most existing approaches rely exclusively on either large general-purpose models…
Multi-Group Proportional Representation in Retrieval
Alex Oesterling, Claudio Mayrink Verdun, Carol Xuan Long +5
Image search and retrieval tasks can perpetuate harmful stereotypes, erase cultural identities, and amplify social disparities. Current approaches to mitigate these representationa…