Introduces ePCA framework using neural-symbolic isolation to force agents to formalize intentions as logical constraints, claiming zero attack success and false positive rates in tested scenarios.
URL https://arxiv.org/abs/2512
5 Pith papers cite this work. Polarity classification is still indexing.
5
Pith papers citing it
years
2026 5verdicts
UNVERDICTED 5representative citing papers
AeroReq2LTL automates LTL generation from industrial aerospace requirements via LLMs with a data dictionary and templates, achieving 85% precision and 88% recall on real data.
An agentic LLM pipeline extracts and translates unstructured requirements into syntactically and semantically aligned formal properties, achieving 77.8% accuracy across three scenarios.
LLMs translate semantic mission requirements into convex trajectory optimization problems and code for spacecraft rendezvous with high reported success rate.
A prototype framework collects legal requirements and translates them into machine-actionable policies for federated data processing networks via policy-as-code and LLMs.
citing papers explorer
-
Provably Secure Agent Guardrail
Introduces ePCA framework using neural-symbolic isolation to force agents to formalize intentions as logical constraints, claiming zero attack success and false positive rates in tested scenarios.
-
Automated LTL Specification Generation from Industrial Aerospace Requirements
AeroReq2LTL automates LTL generation from industrial aerospace requirements via LLMs with a data dictionary and templates, achieving 85% precision and 88% recall on real data.
-
Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
An agentic LLM pipeline extracts and translates unstructured requirements into syntactically and semantically aligned formal properties, achieving 77.8% accuracy across three scenarios.
-
Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models
LLMs translate semantic mission requirements into convex trajectory optimization problems and code for spacecraft rendezvous with high reported success rate.
-
Compliance Management for Federated Data Processing
A prototype framework collects legal requirements and translates them into machine-actionable policies for federated data processing networks via policy-as-code and LLMs.