Cover Image

Formalizing Attack Scenario Description: A Proposed Model

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Goux, Quentin, Lammari, Nadira
Format:	Preprint
Published:	2025
Subjects:	Computation and Language
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automatic Attack Script Generation: a MDA Approach
by: Goux, Quentin, et al.
Published: (2026)

NILE: Formalizing Natural-Language Descriptions of Formal Languages
by: Kneisel, Tristan, et al.
Published: (2026)

Reducing Formal Context Extraction: A Newly Proposed Framework from Big Corpora
by: Hassan, Bryar A., et al.
Published: (2025)

Bridging the Empirical-Theoretical Gap in Neural Network Formal Language Learning Using Minimum Description Length
by: Lan, Nur, et al.
Published: (2024)

Formal Aspects of Language Modeling
by: Cotterell, Ryan, et al.
Published: (2023)

Formalizing and Benchmarking Prompt Injection Attacks and Defenses
by: Liu, Yupei, et al.
Published: (2023)

On the Limit of Language Models as Planning Formalizers
by: Huang, Cassie, et al.
Published: (2024)

Language Model as Planner and Formalizer under Constraints
by: Huang, Cassie, et al.
Published: (2025)

Formal Semantic Control over Language Models
by: Zhang, Yingji
Published: (2026)

A Reality Check of Language Models as Formalizers on Constraint Satisfaction Problems
by: Amonkar, Rikhil, et al.
Published: (2025)

Vision Language Models Cannot Plan, but Can They Formalize?
by: He, Muyu, et al.
Published: (2025)

Language Model Planners do not Scale, but do Formalizers?
by: Jiang, Owen, et al.
Published: (2026)

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
by: Ravi, Nikil, et al.
Published: (2026)

Structural Stress and Learned Helplessness in Afghanistan: A Multi-Layer Analysis of the AFSTRESS Dari Corpus
by: Baktash, Jawid Ahmad, et al.
Published: (2026)

NatLogAttack: A Framework for Attacking Natural Language Inference Models with Natural Logic
by: Zheng, Zi'ou, et al.
Published: (2023)

TF-Attack: Transferable and Fast Adversarial Attacks on Large Language Models
by: Li, Zelin, et al.
Published: (2024)

From Algebraic Word Problem to Program: A Formalized Approach
by: Wiemerslage, Adam, et al.
Published: (2020)

Diffuse Thinking: Exploring Diffusion Language Models as Efficient Thought Proposers for Reasoning
by: Shao, Chenyang, et al.
Published: (2025)

AttackEval: How to Evaluate the Effectiveness of Jailbreak Attacking on Large Language Models
by: Shu, Dong, et al.
Published: (2024)

Chain-of-Thought Driven Adversarial Scenario Extrapolation for Robust Language Models
by: Rashid, Md Rafi Ur, et al.
Published: (2025)

The Expressive Capacity of State Space Models: A Formal Language Perspective
by: Sarrof, Yash, et al.
Published: (2024)

Formal Constraints on Dependency Syntax
by: Gómez-Rodríguez, et al.
Published: (2026)

TAO-Attack: Toward Advanced Optimization-Based Jailbreak Attacks for Large Language Models
by: Xu, Zhi, et al.
Published: (2026)

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
by: Cao, Jialun, et al.
Published: (2025)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
by: Xiong, Jing, et al.
Published: (2026)

Structured Context Recomposition for Large Language Models Using Probabilistic Layer Realignment
by: Teel, Jonathan, et al.
Published: (2025)

Characterizing Deep Research: A Benchmark and Formal Definition
by: Java, Abhinav, et al.
Published: (2025)

Reward Auditor: Inference on Reward Modeling Suitability in Real-World Perturbed Scenarios
by: Zang, Jianxiang, et al.
Published: (2025)

EduBench: A Comprehensive Benchmarking Dataset for Evaluating Large Language Models in Diverse Educational Scenarios
by: Xu, Bin, et al.
Published: (2025)

FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
by: Yang, Xiao-Wen, et al.
Published: (2025)

Adversarial Attack for Explanation Robustness of Rationalization Models
by: Zhang, Yuankai, et al.
Published: (2024)

Jailbreaking Large Language Models with Morality Attacks
by: Su, Ying, et al.
Published: (2026)

A Novel Metric for Measuring the Robustness of Large Language Models in Non-adversarial Scenarios
by: Ackerman, Samuel, et al.
Published: (2024)

On Compositional Learning Behaviours in Formal Mathematics
by: Denamganaï, Kevin Yandoka
Published: (2026)

FormalASR: End-to-End Spoken Chinese to Formal Text
by: Ning, Wanyi, et al.
Published: (2026)

Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion
by: Xu, Ziyao, et al.
Published: (2025)

Formality is Favored: Unraveling the Learning Preferences of Large Language Models on Data with Conflicting Knowledge
by: Li, Jiahuan, et al.
Published: (2024)

Memorization $\neq$ Understanding: Do Large Language Models Have the Ability of Scenario Cognition?
by: Ma, Boxiang, et al.
Published: (2025)

Tutorial Proposal: Speculative Decoding for Efficient LLM Inference
by: Xia, Heming, et al.
Published: (2025)

Latent Causal Probing: A Formal Perspective on Probing with Causal Models of Data
by: Jin, Charles, et al.
Published: (2024)