Jianyu Zhang

1. Memory Mosaics
   2024/05/10 by Jianyu Zhang, Zhang, Jianyu, Niklas Nolte +7 · 3 voices · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Neural and Evolutionary Computing (cs.NE) #cs.AI #cs.LG #cs.NE
2. MagicPIG: LSH Sampling for Efficient LLM Generation
   2024/10/21 by Zhuoming Chen, Chen, Zhuoming, Ranajoy Sadhukhan +19 · 21 citations
   Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Music and Audio Processing #Speech Recognition and Synthesis #Video Analysis and Summarization
3. A Single Character can Make or Break Your LLM Evals
   2025/10/02 by Jingtong Su, Su, Jingtong, Jianyu Zhang +7 · 3 voices · 3 citations
   Social Sciences · #Artificial Intelligence in Law #cs.AI #cs.CL
4. Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4
   2026/02/09 by Jianyu Zhang, Fuyuan Zhang, Jiayi Lu +5 · 3 voices
   #cs.CR
5. Learning useful representations for shifting tasks and distributions
   2022/12/14 by Jianyu Zhang, Zhang, Jianyu, Léon Bottou +1 · 2 citations
   Computer Science · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Gaussian Processes and Bayesian Inference #Machine Learning (cs.LG) #Machine Learning and Algorithms #Neural Networks and Applications
6. HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
   2025/05/21 by Jilin Hu, Jianyu Zhang, Hu, Jilin +5 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Numerical Methods and Algorithms #Software Engineering (cs.SE)
7. CP violation studies at Super Tau-Charm Facility
   2025/02/13 by Hai-Yang Cheng, Cheng, Hai-Yang, Guo, Zhi-Hui +33 · 1 citation
   Physics and Astronomy · #Neutrino Physics Research #Particle physics theoretical and experimental studies #Particle Detector Development and Performance
8. Precision measurements of semleptonic decays D⁰ → π^-ℓ⁺ν_ℓ and D⁺ → π⁰ℓ⁺ν_ℓ (ℓ =e,μ)
   2026/07/27 by BESIII Collaboration, M. Ablikim, M. N. Achasov +773
   #hep-ex
9. First Measurement of the Relative Phase between Proton Psionic Form Factors
   2026/07/22 by BESIII Collaboration, M. Ablikim, M. N. Achasov +754
   #hep-ex
10. Proof of principle for nucleon polarization measurement at BESIII
    2026/07/22 by BESIII Collaboration, M. Ablikim, M. N. Achasov +754
    #hep-ex
11. Measurement of Born Cross Section for e⁺e^-→ K_S⁰Ξ⁺Σ^-+\rmc.c. at √(s) = 3.51-4.95 GeV
    2026/07/24 by BESIII Collaboration, M. Ablikim, M. N. Achasov +759
    #hep-ex
12. Precision Measurement of Decay Dynamics in D⁰⁽⁺⁾→ π^-(0)ℓ⁺ν_ℓ
    2026/07/27 by BESIII Collaboration, M. Ablikim, M. N. Achasov +773
    #hep-ex