Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning
Search-based Selection of Metamorphic Relations for Optimized Robustness Testing of Large Language Models
arxiv.org·2d
Loading...Loading more...
Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning