Search Results - Yuhao

Refine Results
  1. 1
    Cover Image

    Retrieval-Augmented TLAPS Proof Generation with Large Language Models by Zhou, Yuhao

    Published 2025
    Get full text
    Preprint

    Save to List
    Saved in:
  2. 2
    Cover Image

    Human-centered Geospatial Data Science by Kang, Yuhao

    Published 2025
    Get full text
    Preprint

    Save to List
    Saved in:
  3. 3
    Cover Image

    Model Checks in a Kernel Ridge Regression Framework by Li, Yuhao

    Published 2025
    Get full text
    Preprint

    Save to List
    Saved in:
  4. 4
    Cover Image

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

    Published 2025
    Get full text
    Preprint

    Save to List
    Saved in:
  5. 5
    Cover Image

    Hyperbolic Monge-Ampère systems with $S_1=0$ by Hu, Yuhao

    Published 2025
    Get full text
    Preprint

    Save to List
    Saved in:
  6. 6
    Cover Image

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

    Published 2025
    Get full text
    Preprint

    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 by Cheng, Yuhao

    Published 2025
    Get full text
    Preprint

    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 by Cheng, Yuhao

    Published 2025
    Get full text
    Preprint

    Save to List
    Saved in:
  9. 9
    Cover Image

    The Formation of Solar Prominences: Plasma Origin and Mechanisms by Zhou, Yuhao

    Published 2025
    Get full text
    Preprint

    Save to List
    Saved in:
  10. 10
    Cover Image

    Emergent Specialization in Learner Populations: Competition as the Source of Diversity by Li, Yuhao

    Published 2026
    Get full text
    Preprint

    Save to List
    Saved in:
  11. 11
    Cover Image

    Designing for Patient Voice in Interactive Health by Sun, Yuhao

    Published 2026
    Get full text
    Preprint

    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 by Cheng, Yuhao

    Published 2026
    Get full text
    Preprint

    Save to List
    Saved in:
  13. 13
    Cover Image

    The composite SRTM dataset for the continental United States. by Wu, Yuhao

    Published 2025
    Get full text
    Recurso digital

    Save to List
    Saved in:
  14. 14
    Cover Image

    Correlated Dynamics in Marketing Sensitivities by Dew, Ryan, Fan, Yuhao

    Published 2021
    Get full text
    Preprint

    Save to List
    Saved in:
  15. 15
    Cover Image

    Prime geodesic theorem and closed geodesics for large genus by Wu, Yunhui, Xue, Yuhao

    Published 2022
    Get full text
    Preprint

    Save to List
    Saved in:
  16. 16
    Cover Image

    Optimal Computing Budget Allocation for Data-driven Ranking and Selection by Wang, Yuhao, Zhou, Enlu

    Published 2022
    Get full text
    Preprint

    Save to List
    Saved in:
  17. 17
    Cover Image

    Robust Stability of Neural Network Control Systems with Interval Matrix Uncertainties by Zhang, Yuhao, Xu, Xiangru

    Published 2023
    Get full text
    Preprint

    Save to List
    Saved in:
  18. 18
    Cover Image

    Asymptotic Theory of the Best-Choice Rerandomization using the Mahalanobis Distance by Wang, Yuhao, Li, Xinran

    Published 2023
    Get full text
    Preprint

    Save to List
    Saved in:
  19. 19
    Cover Image

    Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems by Zhou, Yuhao, Tripakis, Stavros

    Published 2023
    Get full text
    Preprint

    Save to List
    Saved in:
  20. 20
    Cover Image

    Improved upper bounds for wide-sense frameproof codes by Zhao, Yuhao, Zhang, Xiande

    Published 2024
    Get full text
    Preprint

    Save to List
    Saved in:

Search Tools: