Sentence-Transformers中的F1评估指标扩展方案
在自然语言处理任务中,评估指标的选择对于模型性能的准确衡量至关重要。Sentence-Transformers作为一个强大的句子嵌入框架,其内置的评估指标虽然全面,但在某些特定场景下仍需要扩展。本文将详细介绍如何在Sentence-Transformers中实现F1系列评估指标的扩展。
为什么需要扩展F1评估指标
在分类任务中,准确率(Accuracy)虽然直观,但在数据分布不平衡的情况下往往不能真实反映模型性能。F1分数作为精确率和召回率的调和平均,能够更好地评估模型在正负样本不均衡情况下的表现。
对于多分类问题,micro-F1和macro-F1提供了不同的评估视角:
- micro-F1:考虑所有类别的总体表现
- macro-F1:平等对待每个类别,不考虑样本数量差异
- weighted-F1:按样本数量加权计算
实现方案
我们可以通过继承Sentence-Transformers的评估器基类,实现一个支持多种F1指标的评估器。以下是核心实现思路:
from sklearn.metrics import f1_score
import numpy as np
class CEF1Evaluator:
def __init__(self, problem_type, sentence_pairs, labels, name=""):
self.problem_type = problem_type
self.sentence_pairs = sentence_pairs
self.labels = labels
# 根据问题类型配置不同的F1计算方式
if problem_type == "binary":
self.metrics = [("Binary F1", lambda x,y: f1_score(x,y,average="binary"))]
elif problem_type == "multiclass":
self.metrics = [
("Macro F1", lambda x,y: f1_score(x,y,average="macro")),
("Micro F1", lambda x,y: f1_score(x,y,average="micro")),
("Weighted F1", lambda x,y: f1_score(x,y,average="weighted"))
]
使用示例
在实际训练过程中,我们可以这样使用自定义的F1评估器:
# 准备开发集样本
dev_samples = [...] # 包含InputExample对象的列表
# 创建评估器
evaluator = CEF1Evaluator.from_input_examples(
problem_type="multiclass",
examples=dev_samples,
name="dev-set"
)
# 在模型训练时传入评估器
model.fit(
train_dataloader=train_loader,
evaluator=evaluator,
epochs=10,
evaluation_steps=1000
)
实现细节说明
-
问题类型区分:评估器会根据问题类型自动选择合适的F1计算方式,支持二分类和多分类场景。
-
多种F1变体:对于多分类问题,同时计算macro、micro和weighted三种F1分数,全面评估模型性能。
-
结果记录:评估结果会自动记录到CSV文件中,便于后续分析和可视化。
-
进度显示:在评估过程中会显示详细的进度信息,方便监控评估过程。
最佳实践建议
-
对于类别极度不平衡的数据集,建议优先关注macro-F1分数。
-
当各类别重要性相同时,micro-F1能更好地反映整体性能。
-
在模型调优过程中,可以同时监控多种F1指标,全面了解模型表现。
-
对于二分类问题,当正负样本比例接近1:1时,准确率和F1分数会给出相似的评估结论。
通过这种扩展方式,研究人员和开发者能够更全面地评估Sentence-Transformers模型在各种分类任务中的表现,特别是在处理不平衡数据集时,F1系列指标能提供比准确率更有价值的性能洞察。
ERNIE-4.5-VL-28B-A3B-ThinkingERNIE-4.5-VL-28B-A3B-Thinking 是 ERNIE-4.5-VL-28B-A3B 架构的重大升级,通过中期大规模视觉-语言推理数据训练,显著提升了模型的表征能力和模态对齐,实现了多模态推理能力的突破性飞跃Python00
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
MiniMax-M2MiniMax-M2是MiniMaxAI开源的高效MoE模型,2300亿总参数中仅激活100亿,却在编码和智能体任务上表现卓越。它支持多文件编辑、终端操作和复杂工具链调用Python00
HunyuanVideo-1.5暂无简介00
MiniCPM-V-4_5MiniCPM-V 4.5 是 MiniCPM-V 系列中最新且功能最强的模型。该模型基于 Qwen3-8B 和 SigLIP2-400M 构建,总参数量为 80 亿。与之前的 MiniCPM-V 和 MiniCPM-o 模型相比,它在性能上有显著提升,并引入了新的实用功能Python00
Spark-Formalizer-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00
GOT-OCR-2.0-hf阶跃星辰StepFun推出的GOT-OCR-2.0-hf是一款强大的多语言OCR开源模型,支持从普通文档到复杂场景的文字识别。它能精准处理表格、图表、数学公式、几何图形甚至乐谱等特殊内容,输出结果可通过第三方工具渲染成多种格式。模型支持1024×1024高分辨率输入,具备多页批量处理、动态分块识别和交互式区域选择等创新功能,用户可通过坐标或颜色指定识别区域。基于Apache 2.0协议开源,提供Hugging Face演示和完整代码,适用于学术研究到工业应用的广泛场景,为OCR领域带来突破性解决方案。00