Huajian Xin
Publications by Year
Research Areas
Topic Modeling, Logic, programming, and type systems, Mathematics, Computing, and Information Processing, Natural Language Processing Techniques, Advanced Graph Neural Networks
Most-Cited Works
- → Can Open Large Language Models Catch Vulnerabilities?(2025)461 cited
- → DeepSeek-V3 Technical Report(2024)206 cited
- → FIMO: A Challenge Formal Dataset for Automated Theorem Proving(2023)10 cited
- → LEGO-Prover: Neural Theorem Proving with Growing Libraries(2023)9 cited
- → Attenuation of Ultraviolet Radiation by Aerosols and Clouds in Beijing Area in 2005–2020(2024)7 cited
- → DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data(2024)4 cited
- → Lyra: Orchestrating Dual Correction in Automated Theorem Proving(2023)2 cited
- → DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search(2024)1 cited
- → Optimization Research on the Impact of Charging Load and Energy Efficiency of Pure Electric Vehicles(2024)1 cited
- → Proving Theorems Recursively(2024)1 cited