Výsledky vyhledávání - "Xia, Yinshui"

Report

A Semi-Tensor Product based Circuit Simulation for SAT-sweeping

Autor: Pan, Hongyang, Zhang, Ruibing, Xia, Yinshui, Wang, Lunyao, Yang, Fan, Zeng, Xuan, Chu, Zhufei

In recent years, circuit simulators and Boolean satisfiability (SAT) solvers have been tightly integrated to provide efficient logic synthesis and verification. Circuit simulation can generate highly expressive simulation patterns that can either enu

Externí odkaz: http://arxiv.org/abs/2312.00421

Zobrazit plný text záznamu

Akademický článek

GPT-agents based on medical guidelines can improve the responsiveness and explainability of outcomes for traumatic brain injury rehabilitation

Autor: Li Zhenzhu, Zhang Jingfeng, Zhou Wei, Zheng Jianjun, Xia Yinshui

Publikováno v: Scientific Reports, Vol 14, Iss 1, Pp 1-9 (2024)

Abstract This study explored the application of generative pre-trained transformer (GPT) agents based on medical guidelines using large language model (LLM) technology for traumatic brain injury (TBI) rehabilitation-related questions. To assess the e

Externí odkaz: https://doaj.org/article/ddf0d13668af460b932e8b9e9b5bb556

Zobrazit plný text záznamu

Plný text ve formátu HTML

Report

The prediction of the quality of results in Logic Synthesis using Transformer and Graph Neural Networks

Autor: Yang, Chenghao, Wang, Zhongda, Xia, Yinshui, Chu, Zhufei

In the logic synthesis stage, structure transformations in the synthesis tool need to be combined into optimization sequences and act on the circuit to meet the specified circuit area and delay. However, logic synthesis optimization sequences are tim

Externí odkaz: http://arxiv.org/abs/2207.11437

Zobrazit plný text záznamu