Jianqiao Lu
11 papers · 2023–2025 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π£ Hot Topic Early Bird π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Gold πΊοΈ Taxonomy Completionist (30) π Renaissance Researcher (6)
ποΈ
Keyword Collector
(63)
π
Trend Setter
π
Century Club Β· Bronze
β
The Questioner
β‘
Prolific Year Β· Productive
Venues
Top co-authors
Research topics
Artificial Intelligence
(8)
Core AI
(8)
Machine Learning
(7)
Deep Learning
(4)
Natural Language Processing
(4)
Resources & Methods
(4)
Knowledge & Reasoning
(3)
Application Areas
(3)
Learning Types
(3)
Optimization & Theory
(3)
Reasoning
(3)
Core Methods
(2)
Models
(2)
Computer Science
(1)
Mathematics & Optimization
(1)
Keywords
large language model
(6)
language model
(3)
formal verification
(3)
automated theorem proving
(2)
automated reasoning
(2)
tool use
(2)
benchmark evaluation
(2)
self-supervised learning
(1)
spoken language understanding
(1)
theorem proving
(1)
program synthesis
(1)
semantic alignment
(1)
program verification
(1)
automatic speech recognition
(1)
mathematical reasoning
(1)
recursive reasoning
(1)
multi-step planning
(1)
information retrieval
(1)
recursive algorithm
(1)
error detection
(1)
Papers
FaStFact: Faster, Stronger Long-Form Factuality Evaluations in LLMs
EMNLP 2025
FlexPrefill: A Context-Aware Sparse Attention Mechanism for Efficient Long-Sequence Inference
ICLR 2025
FormalAlign: Automated Alignment Evaluation for Autoformalization
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
AutoPSV: Automated Process-Supervised Verifier
NeurIPS 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
NeurIPS 2024
MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMs
NeurIPS 2024
Planning, Creation, Usage: Benchmarking LLMs for Comprehensive Tool Utilization in Real-World Complex Scenarios
ACL 2024
Proving Theorems Recursively
NeurIPS 2024
Improving End-to-End Speech Processing by Efficient Text Data Utilization with Latent Synthesis
EMNLP 2023