Showing 1–20 of 28 results
/ Date/ Name
Apr 15, 2025Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningMay 23, 2024Proving Theorems RecursivelyOct 2, 2022PrivTrace: Differentially Private Trajectory Synthesis by Adaptive Markov ModelFeb 28, 2020A Novel 3D Space-Time-Frequency Non-Stationary Channel Model for 6G THz Indoor Communication SystemsAug 14, 2021A Novel 3D Non-Stationary GBSM for 6G THz Ultra-Massive MIMO Wireless SystemsJun 4, 2024Process-Driven Autoformalization in Lean 4Apr 29, 2025Kimina Lean Server: A High-Performance Lean Server for Large-Scale VerificationOct 4, 2023DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context LearningMar 31, 2021Delay Analysis of Wireless Federated Learning Based on Saddle Point Approximation and Large Deviation TheoryOct 16, 2023TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language ModelsSep 27, 2023Lyra: Orchestrating Dual Correction in Automated Theorem ProvingFeb 5, 2026Joint Optimization of Latency and Accuracy for Split Federated Learning in User-Centric Cell-Free MIMO NetworksJul 28, 20206G Oriented Wireless Communication Channel Characteristics Analysis and ModelingApr 20, 2021A General 3D Space-Time-Frequency Non-Stationary THz Channel Model for 6G Ultra-Massive MIMO Wireless Communication SystemsSep 9, 2024MLLM-LLaVA-FL: Multimodal Large Language Model Assisted Federated LearningOct 7, 2024Over-the-Air Federated Learning in Cell-Free MIMO with Long-term Power ConstraintJun 20, 2024FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem ProvingJun 9, 2025Channel Estimation for RIS-Assisted mmWave Systems via Diffusion ModelsAug 20, 2025LeanGeo: Formalizing Competitional Geometry problems in LeanFeb 28, 2023On the Road to 6G: Visions, Requirements, Key Technologies and Testbeds