Jianqiao Lu
11 papers · 2023–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
🌍 Conference Polyglot (4) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (13)
🌉
Interdisciplinary Bridge
🌍
Conference Polyglot
(4)
🗃️
Keyword Collector
(54)
⚡
Prolific Year
(5)
💎
Century Club
(11)
📈
Trend Setter
❓
The Questioner
Conferences
NIPS (4)
EMNLP (3)
ACL (2)
ICLR (2)
Top co-authors
Research topics
Keywords
large language model
(6)
language model
(3)
tool use
(2)
formal verification
(2)
benchmark evaluation
(2)
automated reasoning
(2)
automated theorem proving
(2)
information retrieval
(1)
factuality evaluation
(1)
mathematical reasoning
(1)
program verification
(1)
spoken language understanding
(1)
error detection
(1)
multi-step planning
(1)
self-supervised learning
(1)
language model agent
(1)
program synthesis
(1)
recursive algorithm
(1)
recursive reasoning
(1)
automatic speech recognition
(1)
Papers
FlexPrefill: A Context-Aware Sparse Attention Mechanism for Efficient Long-Sequence Inference
ICLR 2025
Rethinking Stateful Tool Use in Multi-Turn Dialogues: Benchmarks and Challenges
ACL 2025
UNComp: Can Matrix Entropy Uncover Sparsity? — A Compressor Design from an Uncertainty-Aware Perspective
EMNLP 2025
FaStFact: Faster, Stronger Long-Form Factuality Evaluations in LLMs
EMNLP 2025
FormalAlign: Automated Alignment Evaluation for Autoformalization
ICLR 2025
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
NIPS 2024
AutoPSV: Automated Process-Supervised Verifier
NIPS 2024
Proving Theorems Recursively
NIPS 2024
MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMs
NIPS 2024
Planning, Creation, Usage: Benchmarking LLMs for Comprehensive Tool Utilization in Real-World Complex Scenarios
ACL 2024
Improving End-to-End Speech Processing by Efficient Text Data Utilization with Latent Synthesis
EMNLP 2023