PhD student focusing on AI safety, neural network verification and LLMs.
Highlights
- Pro
Pinned Loading
-
ActivationInformedMerging
ActivationInformedMerging PublicForked from ahnobari/ActivationInformedMerging
Official repository for Activation-Informed Merging (AIM) of Large Language Models
Python
-
-
verify_NNC_continuous
verify_NNC_continuous PublicVerification of Neural Network Control Systems in Continuous Time
Python 1
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.

