Mengzhou Sun

According to our database¹, Mengzhou Sun authored at least 3 papers between 2022 and 2025.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning.

[BibT_eX]

[DOI]

CoRR, May, 2025

2024

Proving Olympiad Algebraic Inequalities without Human Demonstrations.

[BibT_eX]

[DOI]

Chenrui Wei

Mengzhou Sun

Wei Wang

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

2022

High-Misalignment-Tolerant IPT Systems With Solenoid and Double D Pads.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2022

Mengzhou Sun

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...