一个致力于收集和整理合成数据资源的优秀仓库
请访问我们的网站了解更多信息:Awesome-SyntheticData 网站
Awesome-SyntheticData
是一个集合了关于合成数据的优秀资源的仓库。合成数据在现代数据科学、机器学习和人工智能领域中发挥着重要作用。这个仓库旨在提供一个全面的资源列表,帮助研究人员、工程师和爱好者更好地理解和利用合成数据。
- Lean Workbook:大规模的自然语言数学形式化
- Lean Reasoner:使用Lean提高复杂推理能力
- Lean Automation:自动形式化
- 基于Putnam 数学竞赛的神经定理证明器评测集
- TheoremLlama: 端到端的通用LLM训练为lean4专家框架
- lean github: 几乎穷github中的lean仓库的数据集
- alphaproof 基于Lean的AI数学模型达到IMO银牌水平
搬运自Intel tech:
欢迎任何形式的贡献!如果你有优秀的资源推荐或改进建议,请提交 Pull Request 或 Issue。
- Fork 仓库
- 创建你的分支 (
git checkout -b feature/AmazingFeature
) - 提交你的修改 (
git commit -m 'Add some AmazingFeature'
) - 推送到分支 (
git push origin feature/AmazingFeature
) - 打开一个 Pull Request
本项目基于 MIT 许可证 进行分发。详情请参见 LICENSE 文件。