Home
News
People
Publications
Seminar
Courses
Events
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
large language models
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
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
A Privacy Policy Text Compliance Reasoning Framework with Large Language Models for Healthcare Services
The advancement of AI-generated content (AIGC) drives the diversification of healthcare services, resulting in increased private …
Jintao Chen
,
Fan Wang
,
Shengye Pang
,
Mingshuai Chen
,
Meng Xi
,
Tiancheng Zhao
,
Jianwei Yin
PDF
Cite
Cite
×