Ying Sheng

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

A list of awesome neural symbolic papers.

No description.

No description.

No description.

DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence

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

A game for landscape planing

SGLang is yet another fast serving framework for large language models and vision language models.

No description.

Auto parallelization for large-scale neural networks

Transformer related optimization, including BERT, GPT

Efficiently recording and reproducing failures in deployed applications

Boogie

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

Language2Pose: Natural Language Grounded Pose Forecasting

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

CodeGeeX: An Open Multilingual Code Generation Model

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

DeepSeek Coder: Let the Code Write Itself

DeepSeek-V2: A Strong, Economical, and Efficient Mixture-of-Experts Language Model

FlashInfer: Kernel Library for LLM Serving

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

No description.

No description.

Learning perturbation sets for robust machine learning

No description.

pySMT: A library for SMT formulae manipulation and solving

Mirror of Apache Maven Surefire