Large language models (LLMs) have recently shown promise in automating formal specification generation, but their effectiveness has mainly been demonstrated on self-contained benchmark tasks. This paper examines the changes that occur when LLM-generated specifications are applied to an industrial verification project....
Du-Gang Liu, Ding Wang, Chao Jiang et al.· Proceedings of the 41st IEEE...· 0 citations
A multi-agent collaborative framework, StarVerus, to automate the verification of industrial Rust code and introduces a planner-repairer-actor-rewriter multi-agent paradigm to further enhance the proof repair capabilities.
Chao Jiang, Ding Wang, Du-Gang Liu et al.· Proceedings of the 32nd ACM...· 0 citations
A novel model, i.e., LLM-based semantic and ID representations for sequential recommendation (SIDSRec), that introduces modern LLM architectures into recommender systems and introduces modern LLM architectures into recommender systems.
