AI工具
Formularizer
Formularizer是一个功能强大的AI平台,帮助用户为Excel、Google Sheets、Notion等生成和解释公式。它通过快速将想法转化为公式并借助AI的帮助来节省时间,提高生产效率。
EasyControl
EasyControl是基于扩散变换器(DiT)架构的高效控制框架,采用轻量级LoRA模块实现多条件控制,支持图像生成、风格转换、动画制作等任务。其具备位置感知训练范式和因果注意力机制,优化计算效率,提升生成质量与灵活性,适用于多种图像处理场景。
ScholarCopilot
ScholarCopilot是一款由加拿大滑铁卢大学与卡内基梅隆大学联合开发的学术写作辅助工具,基于Qwen-2.5-7B模型构建。其核心技术包括动态检索引用与生成内容联合优化,实现高准确性的学术文本生成。支持语境感知续写、章节自动生成、多语言写作、一键引用等功能,并具备错误检测与溯源验证能力。适用于论文撰写、教学、科研协作及期刊审稿等多种场景,显著提升学术写作效率与质量。
MathModelAgent
MathModelAgent 是一款基于多智能体协作的数学建模工具,支持自动建模、代码编写、结果验证和论文生成。内置本地代码解释器,兼容多种大语言模型,适用于竞赛、科研、教学等场景,具备高效率与低成本优势。
