Home
News
People
Publications
Seminar
Courses
Events
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
1
Horae: A Domain-Agnostic Language for Automated Service Regulation
Artificial intelligence is rapidly encroaching on the field of service regulation. However, existing AI-based regulation techniques are …
Yutao Sun
,
Mingshuai Chen
,
Tiancheng Zhao
,
Kangjia Zhao
,
He Li
,
Jintao Chen
,
Zhongyi Wang
,
Liqiang Lu
,
Xinkui Zhao
,
Shuiguang Deng
,
Jianwei Yin
Cite
Code
Dataset
Preguss: It Analyzes, It Specifies, It Verifies
Fully automated verification of large-scale software and hardware systems is arguably the holy grail of formal methods. Large language …
Zhongyi Wang
,
Tengjie Lin
,
Mingshuai Chen
,
Mingqi Yang
,
Haokun Li
,
Xiao Yi
,
Shengchao Qin
,
Jianwei Yin
PDF
Cite
The Self-Improvement Paradox: Can Language Models Bootstrap Reasoning Capabilities without External Scaffolding?
Self-improving large language models (LLMs) – i.e., to improve the performance of an LLM by fine-tuning it with synthetic data …
Yutao Sun
,
Mingshuai Chen
,
Tiancheng Zhao
,
Ruochen Xu
,
Zilun Zhang
,
Jianwei Yin
PDF
Cite
On the Almost-Sure Termination of Probabilistic Counter Programs
This paper introduces $k$-d PCPs – the class of
probabilistic counter programs
with $k \in \mathbb{N}$ counter variables inducing …
Sergei Novozhilov
,
Mingqi Yang
,
Mingshuai Chen
,
Zhiyang Li
,
Jianwei Yin
PDF
Cite
DOI
Artifact Evaluated
Vegapunk: Accurate and Fast Decoding for Quantum LDPC Codes with Online Hierarchical Algorithm and Sparse Accelerator
Quantum Low-Density Parity-Check (qLDPC) codes are a promising class of quantum error-correcting codes that exhibit constant-rate …
Kaiwen Zhou
,
Liqiang Lu
,
Debin Xiang
,
Chenning Tao
,
Anbang Wu
,
Jingwen Leng
,
Fangxin Liu
,
Mingshuai Chen
,
Jianwei Yin
Cite
YOUTIAO: Hybrid Multiplexing with Dynamic Qubit Grouping for Low-cost and Scalable Quantum Wiring
With continuous advances in physical technology, the number of qubits has increased from just a few to several thousand. To further …
Wuwei Tian
,
Liqiang Lu
,
Siwei Tan
,
Shiyu Li
,
Hengyi Li
,
Tianyao Chu
,
Xuhong Zhang
,
Mingshuai Chen
,
Jianwei Yin
Cite
UniGM: Unifying Multiple Pre-trained Graph Models via Adaptive Knowledge Aggregation
Recent years have witnessed remarkable advances in graph representation learning using Graph Neural Networks (GNNs). To fully exploit …
Jintao Chen
,
Fan Wang
,
Shengye Pang
,
Siwei Tan
,
Mingshuai Chen
,
Tiancheng Zhao
,
Meng Xi
,
Jianwei Yin
PDF
Cite
Code
DOI
Parf: Adaptive Parameter Refining for Abstract Interpretation
Abstract interpretation is a key formal method for the static analysis of programs. The core challenge in applying abstract …
Zhongyi Wang
,
Linyu Yang
,
Mingshuai Chen
,
Yixuan Bu
,
Zhiyang Li
,
Qiuye Wang
,
Shengchao Qin
,
Xiao Yi
,
Jianwei Yin
PDF
Cite
Code
Slides
Video
DOI
2nd Prize@ChinaSoft'24
Proving Functional Program Equivalence via Directed Lemma Synthesis
Proving equivalence between functional programs is a fundamental problem in program verification, which often amounts to reasoning …
Yican Sun
,
Ruyi Ji
,
Jian Fang
,
Xuanlin Jiang
,
Mingshuai Chen
,
Yingfei Xiong
PDF
Cite
DOI
Artifact Evaluated
Horae: A Domain-Agnostic Modeling Language for Automating Multimodal Service Regulation
Artificial intelligence is rapidly encroaching on the field of service regulation. This work-in-progress article presents the design …
Yutao Sun
,
Mingshuai Chen
,
Kangjia Zhao
,
Jintao Chen
PDF
Cite
DOI
»
Cite
×