Qingxing Cao
13 papers · 2017–2025 · 8 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 ↑
π Interdisciplinary Bridge Β· Gold πΊοΈ Taxonomy Completionist (34) π£ Hot Topic Early Bird π Conference Polyglot Β· Silver π Academic Marathon Β· Sprint
π€
Dynamic Duo
(12)
π
Renaissance Researcher
(7)
β‘
Prolific Year Β· Productive
π
Century Club Β· Bronze
ποΈ
Keyword Collector
(62)
Top co-authors
Research topics
Artificial Intelligence
(11)
Core AI
(10)
Natural Language Processing
(5)
Deep Learning
(4)
Machine Learning
(4)
Computer Vision
(2)
Knowledge & Reasoning
(2)
Applications
(2)
Generation
(2)
Learning Paradigms
(2)
Learning Types Β· Deep Learning
(2)
Learning Types Β· Machine Learning
(2)
Optimization & Theory
(2)
Resources & Methods
(2)
Computer Science
(1)
Keywords
large language model
(5)
mathematical reasoning
(3)
formal proof
(3)
theorem proving
(3)
visual question answering
(3)
language model
(2)
neural theorem proving
(2)
automated theorem proving
(2)
attention mechanism
(2)
multimodal learning
(1)
question answering
(1)
natural language generation
(1)
knowledge reuse
(1)
program synthesis
(1)
in-context learning
(1)
compositional generalization
(1)
decision making
(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
ATG: Benchmarking Automated Theorem Generation for Generative Language Models
NAACL 2024
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
ICLR 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
NeurIPS 2024
LEGO-Prover: Neural Theorem Proving with Growing Libraries
ICLR 2024
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
ICLR 2024
VisDiaHalBench: A Visual Dialogue Benchmark For Diagnosing Hallucination in Large Vision-Language Models
ACL 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