形式不确定性的语法
Grammars of Formal Uncertainty

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

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

Hacker News new | past | comments | ask | show | jobs | submit login Grammars of Formal Uncertainty (arxiv.org) 30 points by barthelomew 1 day ago | hide | past | favorite | 3 comments pizza 22 hours ago | next [–] This seems like the type of work that, whether or not it itself is profound (which I believe it seems it is), will accelerate the forthbringing of derivative works that will definitely be profound. reply molmoai 16 hours ago | parent | next [–] Elegant indeed. Bridges the formal and probabilistic paradigms reply molmoai 16 hours ago | prev [–] Brings out a refreshing perspective to LLM guarantees. Very good work. reply Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search:

原文

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