Jinzheng Li

According to our database, Jinzheng Li authored at least 6 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of five.
• 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

MerLean: An Agentic Framework for Autoformalization in Quantum Computation.

Yuanjie Ren, Jinzheng Li, Yidi Qi

CoRR, February, 2026

SearchExpert: A GenAI-driven framework for reasoning-intensive multimedia information fusion through fine-tuning and reinforcement learning.

Jinzheng Li, Yiqing Shen, Wei Zhou, Hui Chen

Inf. Fusion, 2026

2025

Enhancing LLMs' Reasoning-Intensive Multimedia Search Capabilities through Fine-Tuning and Reinforcement Learning.

Jinzheng Li, Sibo Ju, Yanzhou Su, Hongguang Li, Yiqing Shen

CoRR, May, 2025

An Agent Framework for Real-Time Financial Information Searching with Large Language Models.

Jinzheng Li, Jingshu Zhang, Hongguang Li, Yiqing Shen

CoRR, February, 2025

2024

Memory, Consciousness and Large Language Model.

Jitang Li, Jinzheng Li

CoRR, 2024