Qingxing Cao

Orcid: 0000-0001-7042-6726

According to our database1, Qingxing Cao authored at least 23 papers between 2014 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving.
CoRR, 2024

ATG: Benchmarking Automated Theorem Generation for Generative Language Models.
Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2024, 2024

DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

LEGO-Prover: Neural Theorem Proving with Growing Libraries.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

VisDiaHalBench: A Visual Dialogue Benchmark For Diagnosing Hallucination in Large Vision-Language Models.
Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2024

2023
LEGO-Prover: Neural Theorem Proving with Growing Libraries.
CoRR, 2023

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models.
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

2022
Knowledge-Routed Visual Question Reasoning: Challenges for Deep Representation Embedding.
IEEE Trans. Neural Networks Learn. Syst., 2022

PathReasoner: Explainable reasoning paths for commonsense question answering.
Knowl. Based Syst., 2022

2021
Graph Reasoning Networks and Applications.
Proceedings of the Neuro-Symbolic Artificial Intelligence: The State of the Art, 2021

Interpretable Visual Question Answering by Reasoning on Dependency Trees.
IEEE Trans. Pattern Anal. Mach. Intell., 2021

Linguistically Routing Capsule Network for Out-of-distribution Visual Question Answering.
Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Face Hallucination by Attentive Sequence Optimization with Reinforcement Learning.
IEEE Trans. Pattern Anal. Mach. Intell., 2020

REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement.
CoRR, 2020

Linguistically Driven Graph Capsule Network for Visual Question Reasoning.
CoRR, 2020

2019
Explainable High-order Visual Question Reasoning: A New Benchmark and Knowledge-routed Network.
CoRR, 2019

2018
Interpretable Video Captioning via Trajectory Structured Localization.
Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition, 2018

Visual Question Reasoning on General Dependency Tree.
Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition, 2018

2017
Attention-Aware Face Hallucination via Deep Reinforcement Learning.
Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition, 2017

2016
Recognizing Focal Liver Lesions in CEUS With Dynamically Trained Latent Structured Models.
IEEE Trans. Medical Imaging, 2016

2014
Recognizing focal liver lesions in contrast-enhanced ultrasound with discriminatively trained spatio-temporal model.
Proceedings of the IEEE 11th International Symposium on Biomedical Imaging, 2014


  Loading...