Author

Tianshu Peng

h-index 0 View on Semantic Scholar

We have 2 of 2 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Book Open access Aug 2026

RecCompl: Efficient Model Compilation for Industrial Scale Recommendation Models with PyTorch 2

RecCompl is a comprehensive model compilation system that enables efficient model compilation of industrial scale DLRMs with PT2 and introduces a configuration-based user interface that decouples compilation settings from model code, allowing fine-grained control without intrusive changes.

Changji Li, Shuai Yang, Yuzhen Huang et al. · Proceedings of the 32nd ACM... · 0 citations

#artificial intelligence Preprint Aug 2026

Prove2Me: An Open Collaborative Platform for Scaling Math Formalization

Prove2Me aims to turn math formalization into a scalable, crowd-sourced effort open to anyone with an agent, and designed mechanisms and a specialized harness that enable large-scale collaboration so that agents can build on one another's work and freely reuse existing results.

Shu-Ze Chen, Kunal Marwaha, Xiao-Yang Lu et al. · 0 citations