paper-with-me

Papers

Jailbreaking Large Language Models with Symbolic Mathematics

2024-09-17 · Emet Bethany, Mazal Bethany, Juan Arturo Nolazco Flores, Sumit Kumar Jha, Peyman Najafirad

Recent advancements in AI safety have led to increased efforts in training and red-teaming large language models (LLMs) to mitigate unsafe content generation. However, these safety mechanisms may not be comprehensive, leaving potential vulnerabilities unexplored. This paper introduces MathPrompt, a novel jailbreaking technique that exploits LLMs' advanced capabilities in symbolic mathematics to bypass their safety mechanisms. By encoding harmful natural language prompts into mathematical problems, we demonstrate a critical vulnerability in current AI safety measures. Our experiments across 13 state-of-the-art LLMs reveal an average attack success rate of 73.6\%, highlighting the inability of existing safety training mechanisms to generalize to mathematically encoded inputs. Analysis of embedding vectors shows a substantial semantic shift between original and encoded prompts, helping explain the attack's success. This work emphasizes the importance of a holistic approach to AI safety, calling for expanded red-teaming efforts to develop robust safeguards across all potential input types and their associated risks.

📄 PDF Abstract BibTeX arXiv:2409.11445

Code (0)

등록된 구현이 없습니다.

Tasks

Red Teaming

Similar Papers 제목 키워드 기반

Pretrained Language Models are Symbolic Mathematics Solvers too!

2021-10-07 · Kimia Noorbakhsh, Modar Sulaiman, Mahdi Sharifi, Kallol Roy 외

Solving symbolic mathematics has always been of in the arena of human ingenuity that needs compositional reasoning and recurrence. However, recent studies have shown that large-scale language models such as transformers …

IngenuityLanguage ModellingMath

How Robust Are Router-LLMs? Analysis of the Fragility of LLM Routing Capabilities

2025-03-20 · Aly M. Kassem, Bernhard Schölkopf, Zhijing Jin

Large language model (LLM) routing has emerged as a crucial strategy for balancing computational costs with performance by dynamically assigning queries to the most appropriate model based on query complexity. Despite re…

General KnowledgeLanguage ModelingLanguage ModellingLarge Language Model

Distilling Wikipedia mathematical knowledge into neural network models

2021-04-13 · Joanne T. Kim, Mikel Landajuela Larma, Brenden K. Petersen

Machine learning applications to symbolic mathematics are becoming increasingly popular, yet there lacks a centralized source of real-world symbolic expressions to be used as training data. In contrast, the field of natu…

BIG-bench Machine LearningPhilosophyregressionSymbolic Regression

Symbolic Informalization: Fluent, Productive, Multilingual

2026-06-15 · Aarne Ranta arxiv

Symbolic informalization enables a reliable conversion of formal mathematics to natural language. It has the potential to make machine-checked content human-readable without loss of precision. In a traditional proof syst…

Harmful Prompt Laundering: Jailbreaking LLMs with Abductive Styles and Symbolic Encoding

2025-09-13 · Seongho Joo, Hyukhun Koh, Kyomin Jung arxiv

Large Language Models (LLMs) have demonstrated remarkable capabilities across diverse tasks, but their potential misuse for harmful purposes remains a significant concern. To strengthen defenses against such vulnerabilit…