This is the artifact for the FAST '24 paper "Metis: File System Model Checking via Versatile Input and State Exploration". Metis is a differential-testing based model-checking framework designed for ...

KTransformersLinear Injecting model.layers.0.self_attn.q_a_layernorm as default --- Injecting model.layers.60.post_attention_layernorm as default Injecting model.norm as default Injecting lm_head as ...