pith. machine review for the scientific record. sign in

PromptBench : Towards Evaluating the Robustness of Large Language Models on Adversarial Prompts

9 Pith papers cite this work. Polarity classification is still indexing.

9 Pith papers citing it

years

2026 7 2023 2

clear filters

representative citing papers

Surface Sensitivity in Lean 4 Autoformalization

cs.LG · 2026-04-25 · unverdicted · novelty 6.0

Paraphrase sensitivity in Lean 4 autoformalization arises from compilation failures rather than semantic divergence among successful formalizations.

citing papers explorer

Showing 1 of 1 citing paper after filters.