0

Shixing Yu

Papers
3

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
3papers

Authored papers

3

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

leandojo-theorem-proving-with-retrieval

2023

Unified Visual Transformer Compression

unified-visual-transformer-compression

2022

Hessian-Aware Pruning and Optimal Neural Implant

arXiv 2021

2021

Affiliations

No known affiliations.

Frequent co-authors

10

from 3 papers

Aidan M. Swope

1 shared paper

Alex Gu

grad-student

1 shared paper

Amir Gholami

1 shared paper

Anima Anandkumar

professor

1 shared paper

Huan Yuan

1 shared paper

Ji Liu

1 shared paper

Jianchao Tan

1 shared paper

Jiayi Shen

1 shared paper

Kaiyu Yang

1 shared paper

Kurt Keutzer

1 shared paper