Pinned Loading

1. llm-falsifier llm-falsifier Public

   LLM-driven, robustness-guided falsification for cyber-physical systems. Official implementation of "Large Language Models as Falsifiers for Cyber-Physical Systems".

   Python 2

2. ActivationInformedMerging ActivationInformedMerging Public

   Forked from ahnobari/ActivationInformedMerging

   Official repository for Activation-Informed Merging (AIM) of Large Language Models

   Python 1

3. verify_NNC_continuous verify_NNC_continuous Public

   Verification of Neural Network Control Systems in Continuous Time

   Python 1

4. feiyang-cai/cgan_benchmark2023 feiyang-cai/cgan_benchmark2023 Public

   Python 1 2