Zhejian Zhou
According to our database1,
Zhejian Zhou
authored at least 7 papers
between 2022 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Mach. Intell. Res., December, 2024
InternLM2.5-StepProver: Advancing Automated Theorem Proving via Expert Iteration on Large-Scale LEAN Problems.
CoRR, 2024
CoRR, 2024
StackSight: Unveiling WebAssembly through Large Language Models and Neurosymbolic Chain-of-Thought Decompilation.
Proceedings of the Forty-first International Conference on Machine Learning, 2024
Scaling Behavior for Large Language Models regarding Numeral Systems: An Example using Pythia.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 2024
2022
Proceedings of the 29th International Conference on Computational Linguistics, 2022