Peng Fu

Identifiers

No identifiers captured yet.

Papers (12)

1. Co-Evolving Policy Distillation cs.LG · 2026 · author #6
2. Near-Future Policy Optimization cs.LG · 2026 · author #7
3. EasyVideoR1: Easier RL for Video Understanding cs.CV · 2026 · author #7
4. Elastic MoE: Unlocking the Inference-Time Scalability of Mixture-of-Experts cs.CL · 2025 · author #5
5. Superconductivity and Electronic Structures of Nickelate Thin Film Superstructures cond-mat.supr-con · 2025 · author #6
6. Dependently Typed Folds for Nested Data Types cs.LO · 2018 · author #1
7. A Type Checking Algorithm for Higher-rank, Impredicative and Second-order Types cs.LO · 2017 · author #1
8. Representing Nonterminating Rewriting with $\mathbf{F}_2^\mu$ cs.LO · 2017 · author #1
9. Operational Semantics of Resolution and Productivity in Horn Clause Logic cs.LO · 2016 · author #1
10. Proof Relevant Corecursive Resolution cs.LO · 2015 · author #1
11. A Type-Theoretic Approach to Resolution cs.LO · 2015 · author #1
12. A Type-Theoretic Approach to Structural Resolution cs.LO · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ekaterina Komendantskaya 4 shared papers
• Naibin Gu 4 shared papers
• Zheng Lin 4 shared papers
• Chenxu Yang 3 shared papers
• Chuanyu Qin 3 shared papers
• Dingyu Yao 3 shared papers
• Jiaqi Wang 3 shared papers
• Nan Duan 3 shared papers
• Qingyi Si 3 shared papers
• Weiping Wang 2 shared papers
• Andrew Pond 1 shared papers
• Dawei Shen 1 shared papers
• Guangdi Zhou 1 shared papers
• HaiFeng Wang 1 shared papers
• Haoliang Huang 1 shared papers
• Heng Wang 1 shared papers
• Hua Wu 1 shared papers
• Jin-Feng Jia 1 shared papers
• Junhao Lin 1 shared papers
• Lizhi Xu 1 shared papers