Search filters

Exploring Automated Assertion Generation via Large Language Models

Image Image of a generic work. The text above it indicates that there is no free image of the work available, and that if you own one, you can click on the placeholder link to upload it.
Description scientific article published on 07 October 2024
Author/s

author: Chunrong Fang  Quanjun Zhang  Meng Yan  Hongyan Li  Bowen Yu  Zhenyu Chen  Weifeng Sun  Jianyi Zhou 

Publication date October 7, 2024
Language
Country of origin
Wikipedia link
Copyright status
Missing/wrong data? Edit Wikidata item