4 papers
Faver: Boosting LLM-based RTL Generation with Function Abstracted Verifiable Middleware
Jianan Mu, Mingyu Shi, Yining Wang +5
LLM-based RTL generation is an interesting research direction, as it holds the potential to liberate the least automated stage in the current chip design. However, due to the subst…
Congruence families modulo powers of for -colored generalized Frobenius partitions
Kangyu Wang, Yining Wang
In 2012, Peter Paule and Cristian-Silviu Radu proved an infinite family of Ramanujan type congruences for -colored Frobenius partitions introduced by George Andrews. Rec…
An evaluation of LLMs for generating movie reviews: GPT-4o, Gemini-2.0 and DeepSeek-V3
Brendan Sands, Yining Wang, Chenhao Xu +3
Large language models (LLMs) have been prominent in various tasks, including text generation and summarisation. The applicability of LLMs to the generation of product reviews is ga…
OphthBench: A Comprehensive Benchmark for Evaluating Large Language Models in Chinese Ophthalmology
Chengfeng Zhou, Ji Wang, Juanjuan Qin +3
Large language models (LLMs) have shown significant promise across various medical applications, with ophthalmology being a notable area of focus. Many ophthalmic tasks have shown…