Xiong, Jing
- Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities
2025/07/07 by Gheorghe Comanici, Eric Bieber, Comanici, Gheorghe +6844 · 8 voices · 1374 citations
#cs.CL #cs.AI
- LEGO-Prover: Neural Theorem Proving with Growing Libraries
2023/10/01 by Haiming Wang, Wang, Haiming, Huajian Xin +24 · 14 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #Topic Modeling
- D2O: Dynamic Discriminative Operations for Efficient Long-Context Inference of Large Language Models
2024/06/18 by Zhongwei Wan, Xinjian Wu, Wan, Zhongwei +17 · 10 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Speech Recognition and Synthesis #Topic Modeling
- Autoregressive Models in Vision: A Survey
2024/11/08 by Jing Xiong, Xiong, Jing, Gongye Liu +37 · 12 citations
Computer Science · Engineering · #Advanced Vision and Imaging #Computation and Language (cs.CL) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Image Processing Techniques and Applications #Infrared Target Detection Methodologies
- Process-Driven Autoformalization in Lean 4
2024/06/04 by Lu, Jianqiao, Wan, Yingjia, Liu, Zhengying +10 · 8 citations
#Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
- SRPO: Enhancing Multimodal LLM Reasoning via Reflection-Aware Reinforcement Learning
2025/06/02 by Wan, Zhongwei, Dou, Zhihao, Liu, Che +11 · 23 citations
#Computation and Language (cs.CL) #FOS: Computer and information sciences
- MEIT: Multimodal Electrocardiogram Instruction Tuning on Large Language Models for Report Generation
2024/03/07 by Zhongwei Wan, Che Liu, Wan, Zhongwei +14 · 6 citations
Computer Science · #Advanced Text Analysis Techniques
- DAPE: Data-Adaptive Positional Encoding for Length Extrapolation
2024/05/23 by Chuanyang Zheng, Zheng, Chuanyang, Yihang Gao +19 · 5 citations
Computer Science · #Advanced Image and Video Retrieval Techniques #Computation and Language (cs.CL) #FOS: Computer and information sciences #Handwritten Text Recognition Techniques #Video Analysis and Summarization
- TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
2023/10/16 by Jing Xiong, Jianhao Shen, Xiong, Jing +25 · 3 citations
Computer Science · #Natural Language Processing Techniques #Mathematics, Computing, and Information Processing #Topic Modeling
- FormalAlign: Automated Alignment Evaluation for Autoformalization
2024/10/14 by J. G. Lu, Lu, Jianqiao, Yingjia Wan +9 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Software Engineering Research
- How Sparse Attention Approximates Exact Attention? Your Attention is Naturally nC-Sparse
2024/04/03 by Yichuan Deng, Deng, Yichuan, Zhao Song +3 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computability, Logic, AI Algorithms #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Neural Networks and Applications
- PhyX: Does Your Model Have the "Wits" for Physical Reasoning?
2025/05/21 by Shen, Hui, Wu, Taiqiang, Han, Qi +16 · 6 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
- DAPE V2: Process Attention Score as Feature Map for Length Extrapolation
2024/10/07 by Zheng, Chuanyang, Gao, Yihang, Shi, Han +9 · 3 citations
#Computation and Language (cs.CL) #FOS: Computer and information sciences
- Expression Syntax Information Bottleneck for Math Word Problems
2023/10/24 by Jing Xiong, Xiong, Jing, Chengming Li +7 · 2 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Intelligent Tutoring Systems and Adaptive Learning #Natural Language Processing Techniques #Topic Modeling
- UncertaintyRAG: Span-Level Uncertainty Enhanced Long-Context Modeling for Retrieval-Augmented Generation
2024/10/03 by Zixuan Li, Li, Zixuan, Jing Xiong +21 · 2 citations
Computer Science · #Advanced Image and Video Retrieval Techniques #Computation and Language (cs.CL) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Speech Recognition and Synthesis
- ParallelComp: Parallel Long-Context Compressor for Length Extrapolation
2025/02/20 by Xiong, Jing, Shen, Jianghan, Zheng, Chuanyang +7 · 4 citations
#Computation and Language (cs.CL) #FOS: Computer and information sciences
- Mathesis: Towards Formal Theorem Proving from Natural Languages
2025/06/08 by Yu Xuejun, Jianyuan Zhong, Xuejun, Yu +32 · 5 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Topic Modeling
- LIFT: Improving Long Context Understanding Through Long Input Fine-Tuning
2024/12/18 by Yansheng Mao, Jiaqi Li, Mao, Yansheng +9 · 2 citations
Engineering · #Robotics and Automated Systems
- Self-Adjust Softmax
2025/02/25 by Zheng, Chuanyang, Gao, Yihang, Chen, Guoxuan +7 · 2 citations
#Computation and Language (cs.CL) #FOS: Computer and information sciences
- UNComp: Can Matrix Entropy Uncover Sparsity? -- A Compressor Design from an Uncertainty-Aware Perspective
2024/10/04 by Xiong, Jing, Shen, Jianghan, Ye, Fanghua +9 · 1 citation
#Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Understanding the Mixture-of-Experts with Nadaraya-Watson Kernel
2025/09/30 by Zheng, Chuanyang, Sun, Jiankai, Gao, Yihang +13 · 3 citations
#Computation and Language (cs.CL) #FOS: Computer and information sciences