Jianqiao Lu

Orcid: 0000-0003-4147-9057

According to our database1, Jianqiao Lu authored at least 25 papers between 2023 and 2025.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Enhancing Linear Attention with Residual Learning.
CoRR, September, 2025

Model Merging in Pre-training of Large Language Models.
CoRR, May, 2025

Efficient Pretraining Length Scaling.
CoRR, April, 2025

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning.
CoRR, April, 2025

FormalAlign: Automated Alignment Evaluation for Autoformalization.
Proceedings of the Thirteenth International Conference on Learning Representations, 2025

FlexPrefill: A Context-Aware Sparse Attention Mechanism for Efficient Long-Sequence Inference.
Proceedings of the Thirteenth International Conference on Learning Representations, 2025

UNComp: Can Matrix Entropy Uncover Sparsity? - A Compressor Design from an Uncertainty-Aware Perspective.
Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing, 2025

FaStFact: Faster, Stronger Long-Form Factuality Evaluations in LLMs.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2025, 2025

Rethinking Stateful Tool Use in Multi-Turn Dialogues: Benchmarks and Challenges.
Proceedings of the Findings of the Association for Computational Linguistics, 2025

2024
Scaling Laws for Mixed quantization in Large Language Models.
CoRR, 2024

UNComp: Uncertainty-Aware Long-Context Compressor for Efficient Large Language Model Inference.
CoRR, 2024

UncertaintyRAG: Span-Level Uncertainty Enhanced Long-Context Modeling for Retrieval-Augmented Generation.
CoRR, 2024

MR-BEN: A Comprehensive Meta-Reasoning Benchmark for Large Language Models.
CoRR, 2024

Process-Driven Autoformalization in Lean 4.
CoRR, 2024

AutoCV: Empowering Reasoning with Automated Process Labeling via Confidence Variation.
CoRR, 2024

MHPP: Exploring the Capabilities and Limitations of Language Models Beyond Basic Code Generation.
CoRR, 2024

YODA: Teacher-Student Progressive Learning for Language Models.
CoRR, 2024

Online Matching Meets Sampling Without Replacement.
Proceedings of the Web and Internet Economics - 20th International Conference, 2024

MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMs.
Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

Proving Theorems Recursively.
Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

AutoPSV: Automated Process-Supervised Verifier.
Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving.
Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

Planning, Creation, Usage: Benchmarking LLMs for Comprehensive Tool Utilization in Real-World Complex Scenarios.
Proceedings of the Findings of the Association for Computational Linguistics, 2024

2023
SELF: Language-Driven Self-Evolution for Large Language Model.
CoRR, 2023

Improving End-to-End Speech Processing by Efficient Text Data Utilization with Latent Synthesis.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023


  Loading...