Pinned Repositories
chroma
the AI-native open-source embedding database
ColossalAI
Making big AI models cheaper, easier, and more scalable
CV
DeeperSpeed
DeepSpeed is a deep learning optimization library that makes distributed training easy, efficient, and effective.
gpt-neox
An implementation of model parallel autoregressive transformers on GPUs, based on the DeepSpeed library.
langchain
⚡ Building applications with LLMs through composability ⚡
lean-gym
leaven
repl
A simple REPL for Lean 4, returning information about errors and sorries.
SYSU-Recommendation-Letter-Template
xinhjBrant's Repositories
xinhjBrant/leaven
xinhjBrant/SYSU-Recommendation-Letter-Template
xinhjBrant/repl
A simple REPL for Lean 4, returning information about errors and sorries.
xinhjBrant/chroma
the AI-native open-source embedding database
xinhjBrant/ColossalAI
Making big AI models cheaper, easier, and more scalable
xinhjBrant/CV
xinhjBrant/DeeperSpeed
DeepSpeed is a deep learning optimization library that makes distributed training easy, efficient, and effective.
xinhjBrant/gpt-neox
An implementation of model parallel autoregressive transformers on GPUs, based on the DeepSpeed library.
xinhjBrant/langchain
⚡ Building applications with LLMs through composability ⚡
xinhjBrant/lean-gym
xinhjBrant/lean_proof_recording
Proof recording for Lean 3
xinhjBrant/lean_zulip
xinhjBrant/prime-number-theorem
xinhjBrant/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
xinhjBrant/lego-prover
xinhjBrant/lm-evaluation-harness
A framework for few-shot evaluation of language models.
xinhjBrant/mathlib4
The math library of Lean 4
xinhjBrant/pyprobml
Python code for "Probabilistic Machine learning" book by Kevin Murphy
xinhjBrant/PythonNotebook
xinhjBrant/vscode-lean
An extension for VS Code which provides support for the Lean language.
xinhjBrant/xinhjBrant.github.io