Jianqiao Lu
- Papers
- 6
Cite
Notes
Only stored in your browser.
6papers
Authored papers
6FlexPrefill: A Context-Aware Sparse Attention Mechanism for Efficient Long-Sequence Inference
arXiv 2025
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
arXiv 2025
Planning, Creation, Usage: Benchmarking LLMs for Comprehensive Tool Utilization in Real-World Complex Scenarios
arXiv 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
arXiv 2024
Process-Driven Autoformalization in Lean 4
arXiv 2024
MHPP: Exploring the Capabilities and Limitations of Language Models Beyond Basic Code Generation
arXiv 2024
Affiliations
No known affiliations.
Frequent co-authors
10from 6 papers