Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
The Limits of AI Explainability: An Algorithmic Information Theory Approach
Shrisha Rao
This paper establishes a theoretical foundation for understanding the fundamental limits of AI explainability through algorithmic information theory. We formalize explainability as…
cs.AI2025
Deontic Temporal Logic for Formal Verification of AI Ethics
Priya T. V., Shrisha Rao
Ensuring ethical behavior in Artificial Intelligence (AI) systems amidst their increasing ubiquity and influence is a major concern the world over. The use of formal methods in AI…