This paper proposes LLM-PRIT, a framework for Large Language Model-generated Profile Retrieval & Instance Transfer, which utilizes an LLM as a universal semantic interpreter to generate domain-agnostic, transferable profiles for users and items, encapsulating open-world knowledge.
Jing-Yang Bin, Xing Tang, Wei Zeng et al.· Proceedings of the 20th ACM...· 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
Creating code specifications is a crucial measure to improve the trustworthiness of many industrial systems implemented in Rust with high security requirements. Because writing specifications requires highly specialized professionals and is time-consuming, the automatic generation of specifications, enabled by large la...
Chao Jiang, Ding Wang, Dugang Liu et al.· Proceedings of the 32nd ACM...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
