Yuanjie Ren

According to our database, Yuanjie Ren authored at least 8 papers between 2015 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving.

Jinzheng Li, Zeru Zhu, Yuanjie Ren

CoRR, May, 2026

Thermodynamic Irreversibility of Training Algorithms.

Liu Ziyin, Yuanjie Ren, Adam Levine, Isaac L. Chuang

CoRR, May, 2026

MerLean: An Agentic Framework for Autoformalization in Quantum Computation.

Yuanjie Ren, Jinzheng Li, Yidi Qi

CoRR, February, 2026

2025

Unscented Kalman Filter With Enhanced Mixture Minimum Error Entropy for Robust Ship Integrated Electric Propulsion System State Estimation.

Yuanjie Ren, Lanyong Zhang, Peng Shi

IEEE Trans. Instrum. Meas., 2025

Fault diagnosis method for ship power-system DC-DC converter using augmented WPD and multi-branch CNN-BiLSTM network.

Yuanjie Ren, Lanyong Zhang, Peng Shi, Huimin Peng

J. Frankl. Inst., 2025

2023

Research on Speed Control Strategy of Asynchronous Motor in Marine Electric Propulsion System.

Han Wang, Fan Zhang, Yuanjie Ren

Proceedings of the Fuzzy Systems and Data Mining IX, 2023

2016

Incipient feature extraction for rolling element bearing based on particle filter preprocessing and kurtogram.

Hongkun Li, Yuanjie Ren, R. Yang

Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2016

2015

Early fault feature determination for rolling element bearing based by using improved reassigned wavelet scalogram.

Hongkun Li, Yuanjie Ren, Delu He, Ming Cong

Proceedings of the 2015 IEEE International Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2015