我们目前在训练Ai模型，需要一些verus的训练数据，旨在帮助模型能够更加高效、准确的输出代码，按条计算薪资，价格你报，初次合作我们会给到20-50条数据，在确定质量没有问题后，这将是一个长期的任务，欢迎各位大佬投简历。联系邮箱：764586552@qq.com,微信：kefu00216,结算的话：初次我们可以在做完后结算50%，剩下的验收完后结算，后面的我们希望是次月结算，我们希望可以长期的合作下去。 数据样例（下面的链接）： 计算机课本的数据结构implementation priority queue：优先级队列 使用verus验证版本，