activity
20232026
most citedSurvey of Vulnerabilities in Large Language Models Revealed by Adversarial Attacks

37 citations · 37 across the 10 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2026

SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications

Yixuan Wang, Licheng Luo, Yu Fu +3

Translating natural language instructions into machine-interpretable formal specifications enables robots and autonomous systems to plan, reason, and formally verify their behavior…