Jiahui Wang
- Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
2025/07/31 by Luoxin Chen, Jinming Gu, Chen, Luoxin +69 · 2 voices · 33 citations
#cs.AI #cs.CL
- Ola: Pushing the Frontiers of Omni-Modal Language Model
2025/02/06 by Zuyan Liu, Liu, Zuyan, Yuhao Dong +11 · 25 citations
Computer Science · #Audio and Speech Processing (eess.AS) #Computation and Language (cs.CL) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Image and Video Processing (eess.IV) #Multimedia (cs.MM) #Natural Language Processing Techniques #Sound (cs.SD) #Speech and dialogue systems #Topic Modeling #electronic engineering #information engineering
- OpenGraph: Open-Vocabulary Hierarchical 3D Graph Representation in Large-Scale Outdoor Environments
2024/03/14 by Yinan Deng, Jiahui Wang, Deng, Yinan +11 · 7 citations
Social Sciences · Engineering · #Geographic Information Systems Studies #Robotics and Automated Systems
- Solving Formal Math Problems by Decomposition and Iterative Reflection
2025/07/21 by Yichi Zhou, Jianqiu Zhao, Zhou, Yichi +31 · 13 citations
Computer Science · #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Model-Driven Software Engineering Techniques
- Determining Stellar Elemental Abundances from DESI Spectra with the Data-Driven Payne
2024/02/09 by Meng Zhang, Maosheng Xiang, Zhang, Meng +19 · 2 citations
Engineering · Physics and Astronomy · #Astronomical Observations and Instrumentation #Astronomy and Astrophysical Research #Astrophysics of Galaxies (astro-ph.GA) #FOS: Physical sciences #Scientific Research and Discoveries #Solar and Stellar Astrophysics (astro-ph.SR)
- Scalable Fluxonium Quantum Processors via Tunable-Coupler Architecture
2026/04/15 by Ze Zhan, Zishuo Li, Fei Wang +24 · 1 voice
Physics and Astronomy · #quant-ph
- OpenObj: Open-Vocabulary Object-Level Neural Radiance Fields with Fine-Grained Understanding
2024/06/12 by Yinan Deng, Deng, Yinan, Jiahui Wang +9 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Natural Language Processing Techniques #Neural Networks and Applications #Robotics (cs.RO) #Topic Modeling
- Reduced Effectiveness of Kolmogorov-Arnold Networks on Functions with Noise
2024/07/20 by Haoran Shen, Shen, Haoran, Chen Zeng +5 · 2 citations
Computer Science · Physics and Astronomy · #68T07 #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Neural Networks and Applications #Numerical Analysis (math.NA) #Statistical Mechanics and Entropy
- Context-Semantic Quality Awareness Network for Fine-Grained Visual Categorization
2024/03/15 by Qin Xu, Sitong Li, Xu, Qin +7 · 1 citation
Computer Science · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Image Retrieval and Classification Techniques #Visual Attention and Saliency Detection
- LCP-Fusion: A Neural Implicit SLAM with Enhanced Local Constraints and Computable Prior
2024/11/06 by Jiahui Wang, Yinan Deng, Wang, Jiahui +5 · 1 citation
Computer Science · Engineering · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Robot Manipulation and Learning #Robotic Path Planning Algorithms #Robotics (cs.RO) #Robotics and Sensor-Based Localization
- Boundedness of a class of multilinear operators and their iterated commutators on Morrey-Banach function spaces
2025/02/12 by Jiawei Tan, Jiahui Wang, Tan, Jiawei +3 · 1 citation
Mathematics · #Advanced Harmonic Analysis Research #Nonlinear Differential Equations Analysis #Fixed Point Theorems Analysis