Search Results - Tang, Ruize

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

    Multi-Grained Specifications for Distributed System Model Checking and Verification Autoría: Ouyang, Lingzhi, Sun, Xudong, Tang, Ruize, Huang, Yu, Jivrajani, Madhav, Ma, Xiaoxing, Xu, Tianyin

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

    Save to List
    Saved in:
  2. 2
    Cover Image

    SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems Autoría: Cheng, Qian, Tang, Ruize, Ma, Emilie, Hackett, Finn, He, Peiyang, Su, Yiming, Beschastnikh, Ivan, Huang, Yu, Ma, Xiaoxing, Xu, Tianyin

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

    Save to List
    Saved in:

Search Tools: