English
Related papers

Related papers: EigenAI: Deterministic Inference, Verifiable Resul…

200 papers

Generative AI can convert uncertainty into hypersuasive, authoritative-seeming verdicts, displacing the justificatory work on which democratic epistemic agency depends. As a corrective, I propose a Brouwer-inspired assertibility constraint…

Computers and Society · Computer Science 2026-05-12 Michael Jülich

Modern Integrated Circuits (ICs) are becoming increasingly complex, and so is their development process. Hardware design verification entails a methodical and disciplined approach to the planning, development, execution, and sign-off of…

The proliferation of misinformation poses a significant threat to society, exacerbated by the capabilities of generative AI. This demo paper introduces Veracity, an open-source AI system designed to empower individuals to combat…

Deep research requires reasoning over web evidence to answer open-ended questions, and it is a core capability for AI agents. Yet many deep research agents still rely on implicit, unstructured search behavior that causes redundant…

Artificial Intelligence · Computer Science 2026-04-29 Boer Zhang , Mingyan Wu , Dongzhuoran Zhou , Yuqicheng Zhu , Wendong Fan , Puzhen Zhang , Zifeng Ding , Guohao Li , Yuan He

Vision-Language Models (VLMs) inherit adversarial vulnerabilities of Large Language Models (LLMs), which are further exacerbated by their multimodal nature. Existing defenses, including adversarial training, input transformations, and…

Machine Learning · Computer Science 2025-02-24 Nastaran Darabi , Devashri Naik , Sina Tayebati , Dinithi Jayasuriya , Ranganath Krishnan , Amit Ranjan Trivedi

This paper investigates the prospect of developing human-interpretable, explainable artificial intelligence (AI) systems based on active inference and the free energy principle. We first provide a brief overview of active inference, and in…

We introduce Emergent Trust Learning (ETL), a lightweight, trust-based control algorithm that can be plugged into existing AI agents. It enables these to reach cooperation in competitive game environments under shared resources. Each agent…

Multiagent Systems · Computer Science 2026-03-19 Qianpu Chen , Giulio Barbero , Mike Preuss , Derya Soydaner

Wireless ethical hacking relies heavily on skilled practitioners manually interpreting reconnaissance results and executing complex, time-sensitive sequences of commands to identify vulnerable targets, capture authentication handshakes, and…

Cryptography and Security · Computer Science 2026-02-02 Haitham S. Al-Sinani , Chris J. Mitchell

The rapid advancement of large language models (LLMs) in recent years has revolutionized the AI landscape. However, the deployment model and usage of LLM services remain highly centralized, creating significant trust issues and costs for…

Cryptography and Security · Computer Science 2025-10-06 Hongbo Liu , Jiannong Cao , Bo Yang , Dongbin Bai , Yinfeng Cao , Xiaoming Shen , Yinan Zhang , Jinwen Liang , Shan Jiang , Mingjin Zhang

Ensuring responsible use of artificial intelligence (AI) has become imperative as autonomous systems increasingly influence critical societal domains. However, the concept of trustworthy AI remains broad and multi-faceted. This thesis…

Artificial Intelligence · Computer Science 2025-10-28 Filip Cano

In this thesis, we develop algorithms with theoretical guarantees for ensuring reliability and accountability of Machine Learning (ML) systems. As ML systems evolve from predictive models to generative models and autonomous agents, the…

Machine Learning · Computer Science 2026-05-12 Carol Xuan Long

As machine- and AI-generated content proliferates, protecting the intellectual property of generative models has become imperative, yet verifying data ownership poses formidable challenges, particularly in cases of unauthorized reuse of…

Machine Learning · Computer Science 2024-02-28 Aditya Desu , Xuanli He , Qiongkai Xu , Wei Lu

Artificial intelligence (AI) technologies (re-)shape modern life, driving innovation in a wide range of sectors. However, some AI systems have yielded unexpected or undesirable outcomes or have been used in questionable manners. As a…

As artificial intelligence (AI) systems become increasingly complex and autonomous, concerns over transparency and accountability have intensified. The "black box" problem in AI decision-making limits stakeholders' ability to understand,…

Cryptography and Security · Computer Science 2025-03-13 Afroja Akther , Ayesha Arobee , Abdullah Al Adnan , Omum Auyon , ASM Johirul Islam , Farhad Akter

AI agents dynamically acquire tools, orchestrate sub-agents, and transact across organizational boundaries, yet no existing security layer verifies what an agent can do, whether it executed what it claims, or what happened in a multi-agent…

Cryptography and Security · Computer Science 2026-03-23 Ziling Zhou

As artificial intelligence (AI) systems become increasingly integral to critical infrastructure and global operations, the need for a unified, trustworthy governance framework is more urgent that ever. This paper proposes a novel approach…

Artificial Intelligence · Computer Science 2025-01-17 Vikram Kulothungan

The rapid advancement of artificial intelligence has made the generation of synthetic images widely accessible, increasing concerns related to misinformation, digital forgery, and content authenticity on large-scale online platforms. This…

Cryptography and Security · Computer Science 2026-02-03 Apoorv Mohit , Bhavya Aggarwal , Chinmay Gondhalekar

Self-Sovereign Identity is a transformative paradigm in digital identity management, empowering individuals with full control over their credentials. However, the coexistence of diverse SSI ecosystems, such as the European Digital Identity…

Emerging Technologies · Computer Science 2025-12-30 Hakan Yildiz , Axel Küpper

There has been an unprecedented surge in the number of service providers offering a wide range of machine learning prediction APIs for tasks such as image classification, language translation, etc. thereby monetizing the underlying data and…

Computers and Society · Computer Science 2018-12-06 Vijay Arya , Sayandeep Sen , Palani Kodeswaran

AI-powered generative models have significantly expanded the possibilities for editing, manipulating, and creating high-quality images. Particularly, images that falsely appear to originate from trusted sources pose a serious threat,…

Cryptography and Security · Computer Science 2026-04-28 Mathias Graf , Marco Willi , Melanie Mathys , Michael Aerni , Christian Schwarzer , Martin Melchior , Michael H. Graber