Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
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…
cs.AI2025
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…
cs.AI2024
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…