0

Lai Jiang

Papers
3

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
3papers

Authored papers

3

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

arXiv 2025

2025

Flow of Reasoning:Training LLMs for Divergent Problem Solving with Minimal Examples

arXiv 2024

2024

NTIRE 2022 Challenge on Super-Resolution and Quality Enhancement of Compressed Video: Dataset, Methods and Results

arXiv 2022

2022

Affiliations

No known affiliations.

Frequent co-authors

10

from 3 papers

Biao Wu

1 shared paper

Bohan Lyu

1 shared paper

Boyang Liang

1 shared paper

Chao Dong

1 shared paper

Chen Fu

1 shared paper

Chengjian Zheng

1 shared paper

Chervontsev Sergey

1 shared paper

Chi Jin

1 shared paper

Chunmei Nian

1 shared paper

Danqi Chen

professor

1 shared paper