Pinned Loading
-
-
-
-
LeanAgent
LeanAgent PublicForked from lean-dojo/LeanAgent
LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expanding mathematical knowledge without forgetting previously lear…
Python
-
wisent-ai/wisent
wisent-ai/wisent PublicThis is an open-source version of the representation engineering framework for stopping harmful outputs or hallucinations on the level of activations. 100% free, self-hosted and open-source.
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.