Jianqiao Lu

According to our database1, Jianqiao Lu authored at least 17 papers between 2023 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2023
2024
0
5
10
15
10
1
5
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
FormalAlign: Automated Alignment Evaluation for Autoformalization.
CoRR, 2024

Online Matching Meets Sampling Without Replacement.
CoRR, 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

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

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

AutoPSV: Automated Process-Supervised Verifier.
Proceedings of the Advances in Neural Information Processing Systems 38: 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 38: 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...