Publications (32)
Kimina Lean Server: A High-Performance Lean Server for Large-Scale Verification
Marco Dos Santos, Hugues de Saxcé, Haiming Wang +6
MLLM-LLaVA-FL: Multimodal Large Language Model Assisted Federated Learning
Jianyi Zhang, Hao Frank Yang, Ang Li +5
On the Road to 6G: Visions, Requirements, Key Technologies and Testbeds
Cheng-Xiang Wang, Xiaohu You, Xiqi Gao +16
A Novel 3D Space-Time-Frequency Non-Stationary Channel Model for 6G THz Indoor Communication Systems
Jun Wang, Cheng-Xiang Wang, Jie Huang +1
Joint Optimization of Latency and Accuracy for Split Federated Learning in User-Centric Cell-Free MIMO Networks
Zitong Wang, Cheng Zhang, Wen Wang +3
FIMO: A Challenge Formal Dataset for Automated Theorem Proving
Chengwu Liu, Jianhao Shen, Huajian Xin +9
CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics
Junqi Liu, Xiaohan Lin, Jonas Bayer +12
Lyra: Orchestrating Dual Correction in Automated Theorem Proving
Chuanyang Zheng, Haiming Wang, Enze Xie +6
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
Xiaohan Lin, Qingxing Cao, Yinya Huang +5
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
Jing Xiong, Jianhao Shen, Ye Yuan +11
Channel Estimation for RIS-Assisted mmWave Systems via Diffusion Models
Yang Wang, Yin Xu, Cixiao Zhang +6
Kimi Linear: An Expressive, Efficient Attention Architecture
Kimi Team, Yu Zhang, Zongyu Lin +57
HFORD: Hybrid Forward Optimization and Reverse Design Method and Its Applications to On-Chip Millimeter-Wave Inductive Elements
Yuzhen Song, Yifan Wang, Guqiao Chen +5
Amplitude-Phase-Frequency Block Modulation for OFDM-ISAC with SI-Free PAPR Reduction and Pilotless Sensing
Bensheng Yang, Min Fan, Haitao Zhao +1
Process-Driven Autoformalization in Lean 4
Jianqiao Lu, Yingjia Wan, Zhengying Liu +10
PrivTrace: Differentially Private Trajectory Synthesis by Adaptive Markov Model
Haiming Wang, Zhikun Zhang, Tianhao Wang +4
Delay Analysis of Wireless Federated Learning Based on Saddle Point Approximation and Large Deviation Theory
Lintao Li, Longwei Yang, Xin Guo +4
PerceptionBench: Evaluating Atomic Visual Perception in Multimodal Large Language Models
Zichao Lin, Yifeng Xie, Bowen Qu +30
Kimi K2.5: Visual Agentic Intelligence
Kimi Team, Tongtong Bai, Yifan Bai +322
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Haiming Wang, Mert Unsal, Xiaohan Lin +37
LEGO-Prover: Neural Theorem Proving with Growing Libraries
Haiming Wang, Huajian Xin, Chuanyang Zheng +11
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
Yinya Huang, Xiaohan Lin, Zhengying Liu +6
Over-the-Air Federated Learning in Cell-Free MIMO with Long-term Power Constraint
Yifan Wang, Cheng Zhang, Yuanndon Zhuang +3
A Novel 3D Non-Stationary GBSM for 6G THz Ultra-Massive MIMO Wireless Systems
Jun Wang, Cheng-Xiang Wang, Jie Huang +4
Kimi K2: Open Agentic Intelligence
Kimi Team, Yifan Bai, Yiping Bao +195
6G Oriented Wireless Communication Channel Characteristics Analysis and Modeling
Cheng-Xiang Wang, Jie Huang, Haiming Wang +3
LeanGeo: Formalizing Competitional Geometry problems in Lean
Chendong Song, Zihan Wang, Frederick Pu +5
Proving Theorems Recursively
Haiming Wang, Huajian Xin, Zhengying Liu +8
Kimi K3: Open Frontier Intelligence
Kimi Team, Tongtong Bai, Yifan Bai +398
A General 3D Space-Time-Frequency Non-Stationary THz Channel Model for 6G Ultra-Massive MIMO Wireless Communication Systems
Jun Wang, Cheng-Xiang Wang, Jie Huang +2
Two-Stage Signal Reconstruction for Amplitude-Phase-Time Block Modulation-based Communications
Meidong Xia, Min Fan, Wei Xu +2
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
Jing Xiong, Zixuan Li, Chuanyang Zheng +10