Ying1123

awesome-neural-symbolic

A list of awesome neural symbolic papers.

llm-caching-multiplexing

DT-FM

actnn

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

alpa

Auto parallelization for large-scale neural networks

boogie

Boogie

chroniclerj

Efficiently recording and reproducing failures in deployed applications

diem

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

FasterTransformer

Transformer related optimization, including BERT, GPT

language2pose

Language2Pose: Natural Language Grounded Pose Forecasting

Megatron-DeepSpeed

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

VTC-artifact

cvc5

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

Marabou

CodeGeeX

CodeGeeX: An Open Multilingual Code Generation Model

maven-surefire

Mirror of Apache Maven Surefire

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?

setup

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