Qingxing Cao
13 papers · 2017–2025 · 8 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
🏃 Academic Marathon (8) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (8) 🐝 Cross-Pollinator (12)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(8)
🤝
Dynamic Duo
(12)
⚡
Prolific Year
(6)
🗃️
Keyword Collector
(54)
💎
Century Club
(13)
Conferences
CVPR (3)
ICLR (3)
ACL (2)
AAAI (1)
EMNLP (1)
ICCV (1)
NAACL (1)
NIPS (1)
Top co-authors
Keywords
large language model
(3)
visual question answering
(3)
attention mechanism
(2)
theorem proving
(2)
language model
(2)
mathematical reasoning
(2)
automated theorem proving
(2)
program verification
(1)
multimodal learning
(1)
benchmark evaluation
(1)
question answering
(1)
program synthesis
(1)
generative model
(1)
out-of-distribution generalization
(1)
natural language generation
(1)
formal verification
(1)
compositional generalization
(1)
automated reasoning
(1)
knowledge base
(1)
video captioning
(1)
Papers
ORMind: A Cognitive-Inspired End-to-End Reasoning Framework for Operations Research
ACL 2025
VisDiaHalBench: A Visual Dialogue Benchmark For Diagnosing Hallucination in Large Vision-Language Models
ACL 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
NIPS 2024
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
ICLR 2024
LEGO-Prover: Neural Theorem Proving with Growing Libraries
ICLR 2024
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
ICLR 2024
ATG: Benchmarking Automated Theorem Generation for Generative Language Models
NAACL 2024
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
EMNLP 2023
Linguistically Routing Capsule Network for Out-of-Distribution Visual Question Answering
ICCV 2021
REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement
AAAI 2021
Interpretable Video Captioning via Trajectory Structured Localization
CVPR 2018
Visual Question Reasoning on General Dependency Tree
CVPR 2018
Attention-Aware Face Hallucination via Deep Reinforcement Learning
CVPR 2017