Qingxing Cao
- LEGO-Prover: Neural Theorem Proving with Growing Libraries
2023/10/01 by Haiming Wang, Wang, Haiming, Huajian Xin +24 · 25 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #Topic Modeling
- FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
2024/06/20 by Xiaohan Lin, Lin, Xiaohan, Qingxing Cao +13 · 9 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Natural Language Processing Techniques #Semantic Web and Ontologies
- TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
2023/10/16 by Jing Xiong, Jianhao Shen, Xiong, Jing +25 · 5 citations
Computer Science · #Natural Language Processing Techniques #Mathematics, Computing, and Information Processing #Topic Modeling
- Knowledge-Routed Visual Question Reasoning: Challenges for Deep Representation Embedding
2020/12/14 by Qingxing Cao, Bailin Li, Cao, Qingxing +6 · 1 citation
Computer Science · #Advanced Image and Video Retrieval Techniques #Computer Vision and Pattern Recognition (cs.CV) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Multimodal Machine Learning Applications
- ATG: Benchmarking Automated Theorem Generation for Generative Language Models
2024/05/05 by Xiaohan Lin, Lin, Xiaohan, Qingxing Cao +11 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Speech and dialogue systems #Topic Modeling