13 citations · 37 across the 8 of their papers we have counts for
5 papers · 1 filter
CFBenchmark: Chinese Financial Assistant Benchmark for Large Language Model
Yang Lei, Jiangtong Li, Dawei Cheng +2
Large language models (LLMs) have demonstrated great potential in the financial domain. Thus, it becomes important to assess the performance of LLMs in the financial tasks. In this…
CFGPT: Chinese Financial Assistant with Large Language Model
Jiangtong Li, Yuxuan Bian, Guoxuan Wang +4
Large language models (LLMs) have demonstrated great potential in natural language processing tasks within the financial domain. In this work, we present a Chinese Financial Genera…
EnPAC: Petri Net Model Checking for Linear Temporal Logic
Zhijun Ding, Cong He, Shuo Li
State generation and exploration (counterexample search) are two cores of explicit-state Petri net model checking for linear temporal logic (LTL). Traditional state generation upda…
On-the-fly Unfolding with Optimal Exploration for Linear Temporal Logic Model Checking of Concurrent Software and Systems
Shuo Li, Liao Zheng, Ru Yang +1
Context: Linear temporal logic (LTL) model checking faces a significant challenge known as the state-explosion problem. The on-the-fly method is a solution that constructs and chec…
Program Dependence Net and On-demand Slicing for Property Verification of Concurrent System and Software
Zhijun Ding, Shuo Li, Cheng Chen +1
When checking concurrent software using a finite-state model, we face a formidable state explosion problem. One solution to this problem is dependence-based program slicing, whose…