Search Results - Yuhao

Refine Results
  1. 1
    Cover Image

    Retrieval-Augmented TLAPS Proof Generation with Large Language Models Autoría: Zhou, Yuhao

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  2. 2
    Cover Image

    Human-centered Geospatial Data Science Autoría: Kang, Yuhao

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  3. 3
    Cover Image

    Model Checks in a Kernel Ridge Regression Framework Autoría: Li, Yuhao

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  4. 4
    Cover Image

    Beyond endoscopy for $\mathsf{GL}_2$ over $\mathbb{Q}$ with ramification 1: Poisson summation Autoría: Cheng, Yuhao

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  5. 5
    Cover Image

    Hyperbolic Monge-Ampère systems with $S_1=0$ Autoría: Hu, Yuhao

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  6. 6
    Cover Image

    Inverse design of the transmission matrix in a random system using Reinforcement Learning Autoría: Kang, Yuhao

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  7. 7
    Cover Image

    Beyond endoscopy for $\mathsf{GL}_2$ over $\mathbb{Q}$ with ramification 2: bounds towards the Ramanujan conjecture Autoría: Cheng, Yuhao

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  8. 8
    Cover Image

    Beyond endoscopy for $\mathsf{GL}_2$ over $\mathbb{Q}$ with ramification 3: contribution of the elliptic part Autoría: Cheng, Yuhao

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  9. 9
    Cover Image

    The Formation of Solar Prominences: Plasma Origin and Mechanisms Autoría: Zhou, Yuhao

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  10. 10
    Cover Image

    Emergent Specialization in Learner Populations: Competition as the Source of Diversity Autoría: Li, Yuhao

    Published 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  11. 11
    Cover Image

    Designing for Patient Voice in Interactive Health Autoría: Sun, Yuhao

    Published 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  12. 12
    Cover Image

    Beyond endoscopy for $\mathsf{GL}_2$ over $\mathbb{Q}$ with ramification 4: contribution of non-elliptic parts Autoría: Cheng, Yuhao

    Published 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  13. 13
    Cover Image

    The composite SRTM dataset for the continental United States. Autoría: Wu, Yuhao

    Published 2025
    Fuente: Zenodo
    Tipo de material: Recurso digital
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  14. 14
    Cover Image

    Correlated Dynamics in Marketing Sensitivities Autoría: Dew, Ryan, Fan, Yuhao

    Published 2021
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  15. 15
    Cover Image

    Prime geodesic theorem and closed geodesics for large genus Autoría: Wu, Yunhui, Xue, Yuhao

    Published 2022
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  16. 16
    Cover Image

    Optimal Computing Budget Allocation for Data-driven Ranking and Selection Autoría: Wang, Yuhao, Zhou, Enlu

    Published 2022
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  17. 17
    Cover Image

    Robust Stability of Neural Network Control Systems with Interval Matrix Uncertainties Autoría: Zhang, Yuhao, Xu, Xiangru

    Published 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  18. 18
    Cover Image

    Asymptotic Theory of the Best-Choice Rerandomization using the Mahalanobis Distance Autoría: Wang, Yuhao, Li, Xinran

    Published 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  19. 19
    Cover Image

    Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems Autoría: Zhou, Yuhao, Tripakis, Stavros

    Published 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  20. 20
    Cover Image

    Improved upper bounds for wide-sense frameproof codes Autoría: Zhao, Yuhao, Zhang, Xiande

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:

Search Tools: