English
Related papers

Related papers: HonestCyberEval: An AI Cyber Risk Benchmark for Au…

200 papers

Safety cases for frontier AI systems should provide a convincing argument, supported by evidence, that the risk of harm is within an acceptable bound. When developers author their own safety cases, confirmation bias and conflicted…

As models become increasingly sophisticated, conventional algorithm benchmarks are increasingly saturated, underscoring the need for more challenging benchmarks to guide future improvements in algorithmic reasoning. This paper introduces…

Artificial Intelligence · Computer Science 2025-06-13 Yaoming Zhu , Junxin Wang , Yiyang Li , Lin Qiu , ZongYu Wang , Jun Xu , Xuezhi Cao , Yuhuai Wei , Mingshi Wang , Xunliang Cai , Rong Ma

Vericoding refers to the generation of formally verified code from rigorous specifications. Recent AI models show promise in vericoding, but a unified methodology for cross-paradigm evaluation is lacking. Existing benchmarks test only…

Software Engineering · Computer Science 2026-02-11 Haoyu Zhao , Ziran Yang , Jiawei Li , Deyuan He , Zenan Li , Chi Jin , Venugopal V. Veeravalli , Aarti Gupta , Sanjeev Arora

Recent advances in generative artificial intelligence (AI), such as ChatGPT, Google Gemini, and other large language models (LLMs), pose significant challenges for maintaining academic integrity within higher education. This paper examines…

Cryptography and Security · Computer Science 2026-01-21 Carlton Shepherd

With AI-based software becoming widely available, the risk of exploiting its capabilities, such as high automation and complex pattern recognition, could significantly increase. An AI used offensively to attack non-AI assets is referred to…

Cryptography and Security · Computer Science 2025-04-08 Anket Mehra , Andreas Aßmuth , Malte Prieß

Aligning autonomous agents with human intent remains a central challenge in modern AI. A key manifestation of this challenge is reward hacking, whereby agents appear successful under the evaluation signal while violating the intended…

Machine Learning · Computer Science 2026-05-21 Amit Roth , Ankur Samanta , Matan Halevy , Yoav Levine , Yonathan Efroni

Over the past year, artificial intelligence (AI) companies have been increasingly adopting AI safety frameworks. These frameworks outline how companies intend to keep the potential risks associated with developing and deploying frontier AI…

Computers and Society · Computer Science 2024-09-16 Jide Alaga , Jonas Schuett , Markus Anderljung

Reinforcement learning (RL) trained language model agents with tool access are increasingly deployed in coding assistants, research tools, and autonomous systems. We introduce the Reward Hacking Benchmark (RHB), a suite of multi-step tasks…

Machine Learning · Computer Science 2026-05-06 Kunvar Thaman

The meteoric rise of AI, with its rapidly expanding market capitalization, presents both transformative opportunities and critical challenges. Chief among these is the urgent need for a new, unified paradigm for trustworthy evaluation, as…

The usage of Artificial Intelligence (AI) systems has increased exponentially, thanks to their ability to reduce the amount of data to be analyzed, the user efforts and preserving a high rate of accuracy. However, introducing this new…

Machine Learning · Computer Science 2024-02-13 Xabier Echeberria-Barrio , Mikel Gorricho , Selene Valencia , Francesco Zola

Long contexts of recent LLMs have enabled a new use case: asking models to find security vulnerabilities in entire codebases. To evaluate model performance on this task, we introduce eyeballvul: a benchmark designed to test the…

Cryptography and Security · Computer Science 2024-07-16 Timothee Chauvin

Modern AI agents execute real-world side effects through tool calls such as file operations, shell commands, HTTP requests, and database queries. A single unsafe action, including accidental deletion, credential exposure, or data…

Artificial Intelligence · Computer Science 2026-05-07 Chenglin Yang

Scheming, the covert pursuit of misaligned goals by AI systems, represents a potentially catastrophic risk, yet scheming research suffers from significant limitations. In particular, scheming evaluations demonstrate behaviours that may not…

Computers and Society · Computer Science 2026-04-13 Tommy Shaffer Shane , Simon Mylius , Hamish Hobbs

Open-source AI libraries are foundational to modern AI systems, yet they present significant, underexamined risks spanning security, licensing, maintenance, supply chain integrity, and regulatory compliance. We introduce LibVulnWatch, a…

Cryptography and Security · Computer Science 2025-07-01 Zekun Wu , Seonglae Cho , Umar Mohammed , Cristian Munoz , Kleyton Costa , Xin Guan , Theo King , Ze Wang , Emre Kazim , Adriano Koshiyama

Artificial Intelligence brings innovations into the society. However, bias and unethical exist in many algorithms that make the applications less trustworthy. Threats hunting algorithms based on machine learning have shown great advantage…

Cryptography and Security · Computer Science 2025-06-25 Shuangbao Paul Wang , Paul Mullin

Traditional ethical hacking relies on skilled professionals and time-intensive command management, which limits its scalability and efficiency. To address these challenges, we introduce PenTest++, an AI-augmented system that integrates…

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

Evaluating the safety of AI Systems is a pressing concern for organizations deploying them. In addition to the societal damage done by the lack of fairness of those systems, deployers are concerned about the legal repercussions and the…

Evaluating and measuring AI Safety Level (ASL) threats are crucial for guiding stakeholders to implement safeguards that keep risks within acceptable limits. ASL-3+ models present a unique risk in their ability to uplift novice non-state…

Machine Learning · Computer Science 2025-11-24 Joseph Kim , Saahith Potluri

With the increasing use of artificial intelligence (AI) services and products in recent years, issues related to their trustworthiness have emerged and AI service providers need to be prepared for various risks. In this policy…

Computers and Society · Computer Science 2020-07-08 Takashi Matsumoto , Arisa Ema