13 citations · 37 across the 8 of their papers we have counts for
8 papers
CFBenchmark-MM: Chinese Financial Assistant Benchmark for Multimodal Large Language Model
Jiangtong Li, Yiyun Zhu, Dawei Cheng +2
Multimodal Large Language Models (MLLMs) have rapidly evolved with the growth of Large Language Models (LLMs) and are now applied in various fields. In finance, the integration of…
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…
Variable Petri Nets for Mobility
Zhijun Ding, Ru Yang, Puwen Cui +2
Mobile computing systems, service-based systems and some other systems with mobile interacting components have recently received much attention. However, because of their character…
Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets
Ru Yang, Zhijun Ding, Changjun Jiang +1
Due to the mobility and frequent disconnections, the correctness of mobile interaction systems, such as mobile robot systems and mobile payment systems, are often difficult to anal…