ying1123 Goto Github PK

actnn

ActNN: Reducing Training Memory Footprint via 2-Bit Activation Compressed Training

alpa

Auto parallelization for large-scale neural networks

awesome-neural-symbolic

A list of awesome neural symbolic papers.

boogie

Boogie

chroniclerj

Efficiently recording and reproducing failures in deployed applications

codegeex

CodeGeeX: An Open Multilingual Code Generation Model

cvc5

CVC5 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

diem

Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

dt-fm

fastertransformer

Transformer related optimization, including BERT, GPT

language2pose

Language2Pose: Natural Language Grounded Pose Forecasting

llm-caching-multiplexing

marabou

maven-surefire

Mirror of Apache Maven Surefire

megatron-deepspeed

Ongoing research training transformer language models at scale, including: BERT & GPT-2

pentos

A game for landscape planing

perturbation_learning

Learning perturbation sets for robust machine learning

pysmt

pySMT: A library for SMT formulae manipulation and solving

ruler

This repo contains the source code for RULER: What’s the Real Context Size of Your Long-Context Language Models?

skypilot

SkyPilot: Run LLMs, AI, and Batch jobs on any cloud. Get maximum savings, highest GPU availability, and managed execution—all with a simple interface.

surefire-outputcomparison

virgo

vtc-artifact