
基于RoBERTa-Large的高效句子级事实核查模型
MiniCheck-RoBERTa-Large是一款事实核查模型,基于RoBERTa-Large实现句子级别的支持验证。该模型通过微调AlignScore生成的14K合成数据,展示优异性能,超越同类规模的专用工具。用户只需简单的Python代码即可集成此模型,用于文档和句子间的语义关联检测。
MiniCheck-RoBERTa-Large 是一个事实核查模型,源自于MiniCheck这个项目,其目标是有效地对大语言模型(LLM)生成内容进行事实核查。该项目的详细介绍和更多技术细节可以在论文 MiniCheck: Efficient Fact-Checking of LLMs on Grounding Documents 中找到。
MiniCheck-RoBERTa-Large 模型基于 RoBERTa-Large,对经过训练的 AlignScore 模型进行了微调。AlignScore 是由 Zha et al., 2023 发展而来的。在结构化方式下,该模型在14000条合成数据上进行了微调。最终,该模型可以在句子级别上进行预测,通过判定某一声明是否被相应文档支持而输出二进制标签:支持(1)或不支持(0)。
除了 MiniCheck-RoBERTa-Large,MiniCheck 还有以下三种模型变体:
模型的性能通过一个新收集的基准数据集 LLM-AggreFact 进行评估。该数据集包含了11个最近被人工标注的有关事实核查和大语言模型生成内容的子数据集。在相似规模的专业事实核查模型中,MiniCheck-RoBERTa-Large 表现要优于其他同类模型,特别是在处理真实声明时表现出色。值得注意的是,评估时并未人工修改声明以引入特定错误类型。
用户可以通过以下命令来安装 MiniCheck 包及其所需依赖:
pip install "minicheck @ git+https://github.com/Liyan06/MiniCheck.git@main"
下面是一个简单的使用示例:
from minicheck.minicheck import MiniCheck import os os.environ["CUDA_VISIBLE_DEVICES"] = "0" doc = "A group of students gather in the school library to study for their upcoming final exams." claim_1 = "The students are preparing for an examination." claim_2 = "The students are on vacation." scorer = MiniCheck(model_name='roberta-large', cache_dir='./ckpts') pred_label, raw_prob, _, _ = scorer.score(docs=[doc, doc], claims=[claim_1, claim_2]) print(pred_label) # [1, 0] print(raw_prob) # [0.9581979513168335, 0.031335990875959396]
下面是如何在 LLM-AggreFact 基准上进行测试:
import pandas as pd from datasets import load_dataset from minicheck.minicheck import MiniCheck import os os.environ["CUDA_VISIBLE_DEVICES"] = "0" # 加载29K测试数据 df = pd.DataFrame(load_dataset("lytang/LLM-AggreFact")['test']) docs = df.doc.values claims = df.claim.values scorer = MiniCheck(model_name='roberta-large', cache_dir='./ckpts') pred_label, raw_prob, _, _ = scorer.score(docs=docs, claims=claims) # 大约每分钟处理800个文档,具体依赖于硬件性能
结果评估可以通过以下方式进行:
from sklearn.metrics import balanced_accuracy_score df['preds'] = pred_label result_df = pd.DataFrame(columns=['Dataset', 'BAcc']) for dataset in df.dataset.unique(): sub_df = df[df.dataset == dataset] bacc = balanced_accuracy_score(sub_df.label, sub_df.preds) * 100 result_df.loc[len(result_df)] = [dataset, bacc] result_df.loc[len(result_df)] = ['Average', result_df.BAcc.mean()] result_df.round(1)
通过这些方法和工具,用户可以有效地利用 MiniCheck 系列模型实现大语言模型的事实核查任务。


免费创建高清无水印Sora视频
Vora是一个免费创建高清无水印Sora视频的AI工具


最适合小白的AI自动化工作流平台
无需编码,轻松生成可复用、可变现的AI自动化工作流

大模型驱动的Excel数据处理工具
基于大模型交互的表格处理系统,允许用户通过对话方式完成数据整理和可视化分析。系统采用机器学习算法解析用户指令,自动执行排序、公式计算和数据透视等操作,支持多种文件格式导入导出。数据处理响应速度保持在0.8秒以内,支持超过100万行数据的即时分析。


AI辅助编程,代码自动修复
Trae是一种自适应的集成开发环境(IDE),通过自动化和多元协作改变开发流程。利用Trae,团队能够更快速、精确地编写和部署代码,从而提高编程效率和项目交付速度。Trae具备上下文感知和代码自动完成功能,是提升开发效率的理想工具。


AI论文写作指导平台
AIWritePaper论文写作是一站式AI论文写作辅助工具,简化了选题、文献检索至论文撰写的整个过程。通过简单设定,平台可快速生成高质量论文大纲和全文,配合图表、参考文献等一应俱全,同时提供开题报告和答辩PPT等增值服务,保障数据安全,有效提升写作效率和论文质量。


AI一键生成PPT,就用博思AIPPT!
博思AIPPT,新一代的AI生成PPT平台,支持智能生成PPT、AI美化PPT、文本&链接生成PPT、导入Word/PDF/Markdown文档生成PPT等,内置海量精美PPT模板,涵盖商务、教育、科技等不同风格,同时针对每个页面提供多种版式,一键自适应切换,完美适配各种办公场景。


AI赋能电商视觉革命,一站式智能商拍平台
潮际好麦深耕服装行业,是国内AI试衣效果最好的软件。使用先进AIGC能力为电商卖家批量提供优质的、低成本的商拍图。合作品牌有Shein、Lazada、安踏、百丽等65个国内外头部品牌,以及国内10万+淘宝、天猫、京东等主流平台的品牌商家,为卖家节省将近85%的出图成本,提升约3倍出图效率,让品牌能够快速上架。


企业专属的AI法律顾问
iTerms是法大大集团旗下法律子品牌,基于最先进的大语言模型(LLM)、专业的法律知识库和强大的智能体架构,帮助企业扫清合规障碍,筑牢风控防线,成为您企业专属的AI法律顾问。


稳定高效的流量提升解决方案,助力品牌曝光
稳定高效的流量提升解决方案,助力品牌曝光


最新版Sora2模型免费使用,一键生成无水印视频
最新版Sora2模型免费使用,一键生成无水印视频
最新AI工具、AI资讯
独家AI资源、AI项目落地

微信扫一扫关注公众号