4 papers
Equivalence of Halting Problem to Convergence of Power Series
Antonio Joaquim Fernandes
This paper establishes an equivalence between the halting problem in computability theory and the convergence of power series in mathematical analysis.
Can Media Act as a Soft Regulator of Safe AI Development? A Game Theoretical Analysis
Henrique Correia da Fonseca, António Fernandes, Zhao Song +15
When developers of artificial intelligence (AI) products need to decide between profit and safety for the users, they likely choose profit. Untrustworthy AI technology must come pa…
Do LLMs trust AI regulation? Emerging behaviour of game-theoretic LLM agents
Alessio Buscemi, Daniele Proverbio, Paolo Bova +15
There is general agreement that fostering trust and cooperation within the AI development ecosystem is essential to promote the adoption of trustworthy AI systems. By embedding Lar…
Media and responsible AI governance: a game-theoretic and LLM analysis
Nataliya Balabanova, Adeela Bashir, Paolo Bova +15
This paper investigates the complex interplay between AI developers, regulators, users, and the media in fostering trustworthy AI systems. Using evolutionary game theory and large…