Click-through rate (CTR) prediction is a fundamental task in industrial recommender systems. Cross-domain CTR prediction, which leverages data from a source domain to improve performance in a target domain, has emerged as a key strategy. However, most existing methods rely on overlapping users or items across domains t...
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.
