13万行形式拓扑:简单且廉价的自动形式化,人人可用?
130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?

原始链接: https://arxiv.org/abs/2601.03298

arXivLabs是一个框架,允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都认同并接受我们开放、社群、卓越和用户数据隐私的价值观。arXiv致力于这些价值观,并且只与秉持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法?了解更多关于arXivLabs的信息。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录 13万行形式拓扑:简单且廉价的自动形式化,人人可用? (arxiv.org) 10点 由 PaulHoule 3小时前 | 隐藏 | 过去的 | 收藏 | 1条评论 帮助 itsthecourier 4分钟前 [–] 有人能像解释给五岁小孩听一样吗? 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:
相关文章

原文

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

联系我们 contact @ memedata.com