5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.CL2023★ 5 cited
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…
cs.FL2023
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…