标签主题词 (Topic)

# theorem-proving

探索包含 theorem-proving 主题特性的所有开源仓库、扩展插件与智能体组件。

tokens-as-parameters
BruceLoveLee000

支持将Token作为可优化参数,在推理阶段无需更新模型权重即可让固定权重语言模型动态适配任务,实现推理时学习,有效降低模型微调成本与部署开销。

jacobian
morluto

一个通用且原子化的数学与工具库,将常用运算拆解为独立模块,智能体可像搭积木一样自由组合调用,轻松构建复杂计算流程,无需重复造轮子。

Vibe-Mathematics
ChongCyrus

支持多智能体协同推理各类数学问题,内置形式化验证模块可对求解结果做严谨校验,覆盖代数、几何等常见数学领域,作为轻量框架可快速集成到科研或工程类工具中。