Результати пошуку - Zhou, Yuhao

Уточнити результати
  1. 1
    Зображення обкладинки

    Retrieval-Augmented TLAPS Proof Generation with Large Language Models за авторством Zhou, Yuhao

    Опубліковано 2025
    Отримати повний текст
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  2. 2
    Зображення обкладинки

    Fuse Local and Global Semantics in Representation Learning за авторством Zhao, Yuchi, Zhou, Yuhao

    Опубліковано 2022
    Отримати повний текст
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  3. 3
    Зображення обкладинки

    Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems за авторством Zhou, Yuhao, Tripakis, Stavros

    Опубліковано 2023
    Отримати повний текст
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  4. 4
    Зображення обкладинки

    Towards Language Model Guided TLA+ Proof Automation за авторством Zhou, Yuhao, Tripakis, Stavros

    Опубліковано 2025
    Отримати повний текст
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  5. 5
    Зображення обкладинки

    Nonparametric Score Estimators за авторством Zhou, Yuhao, Shi, Jiaxin, Zhu, Jun

    Опубліковано 2020
    Отримати повний текст
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  6. 6
    Зображення обкладинки

    Communication-Efficient Federated Learning with Compensated Overlap-FedAvg за авторством Zhou, Yuhao, Qing, Ye, Lv, Jiancheng

    Опубліковано 2020
    Отримати повний текст
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  7. 7
    Зображення обкладинки

    Fast Instrument Learning with Faster Rates за авторством Wang, Ziyu, Zhou, Yuhao, Zhu, Jun

    Опубліковано 2022
    Отримати повний текст
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  8. 8
    Зображення обкладинки

    Automated Retrosynthesis Planning of Macromolecules Using Large Language Models and Knowledge Graphs за авторством Ma, Qinyu, Zhou, Yuhao, Li, Jianfeng

    Опубліковано 2025
    Отримати повний текст
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  9. 9
    Зображення обкладинки

    Can LLMs Perform Synthesis? за авторством Egolf, Derek, Zhou, Yuhao, Tripakis, Stavros

    Опубліковано 2026
    Отримати повний текст
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  10. 10
    Зображення обкладинки

    CSRP: Chain-of-Thought Reasoning for Chinese Text Correction via Reinforcement Learning with Efficiency-Aware Rewards за авторством Tian, Wei, Zhou, Yuhao, Lan, Man

    Опубліковано 2026
    Отримати повний текст
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  11. 11
    Зображення обкладинки

    HPSGD: Hierarchical Parallel SGD With Stale Gradients Featuring за авторством Zhou, Yuhao, Ye, Qing, Zhang, Hailun, Lv, Jiancheng

    Опубліковано 2020
    Отримати повний текст
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  12. 12
    Зображення обкладинки

    Quasi-Bayesian Dual Instrumental Variable Regression за авторством Wang, Ziyu, Zhou, Yuhao, Ren, Tongzheng, Zhu, Jun

    Опубліковано 2021
    Отримати повний текст
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  13. 13
    Зображення обкладинки

    Personalized Federated Learning with Hidden Information on Personalized Prior за авторством Shi, Mingjia, Zhou, Yuhao, Ye, Qing, Lv, Jiancheng

    Опубліковано 2022
    Отримати повний текст
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  14. 14
    Зображення обкладинки

    In-Hand Singulation and Scooping Manipulation with a 5 DOF Tactile Gripper за авторством Zhou, Yuhao, Zhou, Pokuang, Wang, Shaoxiong, She, Yu

    Опубліковано 2024
    Отримати повний текст
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  15. 15
    Зображення обкладинки

    DBS: Dynamic Batch Size For Distributed Deep Neural Network Training за авторством Ye, Qing, Zhou, Yuhao, Shi, Mingjia, Sun, Yanan, Lv, Jiancheng

    Опубліковано 2020
    Отримати повний текст
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  16. 16
    Зображення обкладинки

    Limits of PageRank-based ranking methods in sports data за авторством Zhou, Yuhao, Wang, Ruijie, Zhang, Yi-Cheng, Zeng, An, Medo, Matúš

    Опубліковано 2020
    Отримати повний текст
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  17. 17
    Зображення обкладинки

    DeFTA: A Plug-and-Play Decentralized Replacement for FedAvg за авторством Zhou, Yuhao, Shi, Minjia, Tian, Yuxin, Ye, Qing, Lv, Jiancheng

    Опубліковано 2022
    Отримати повний текст
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  18. 18
    Зображення обкладинки

    CCiV: A Benchmark for Structure, Rhythm and Quality in LLM-Generated Chinese \textit{Ci} Poetry за авторством Zhao, Shangqing, Ren, Yupei, Zhou, Yuhao, Bai, Xiaopeng, Lan, Man

    Опубліковано 2026
    Отримати повний текст
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  19. 19
    Зображення обкладинки

    Optimal Power Flow in Hybrid AC and Multi-terminal HVDC Networks with Offshore Wind Farm Integration Based on Semidefinite Programming за авторством Zhou, Yuhao, Zhao, Long, Lee, Wei-Jen, Zhang, Zhenyuan, Wang, Peng

    Опубліковано 2019
    Отримати повний текст
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  20. 20
    Зображення обкладинки

    Learning to Simulate Dynamic Environments with GameGAN за авторством Kim, Seung Wook, Zhou, Yuhao, Philion, Jonah, Torralba, Antonio, Fidler, Sanja

    Опубліковано 2020
    Отримати повний текст
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:

Інструменти для пошуку: