Dungeon Proof Crawler：通过RPG学习如何写证明
摘要
Dungeon Proof Crawler 是一款教育类RPG，通过地牢探索游戏玩法教会玩家如何撰写数学证明。
暂无内容
查看缓存全文
缓存时间: 2026/07/05 22:34
# Dungeon Proof Crawler
来源：https://dhilst.github.io/algae/game/index.html
点燃火炬...
相似文章
一款开源的类roguelike地牢冒险游戏
Dungeon Crawl Stone Soup 是一款开源的类roguelike游戏，特色是地牢探索和怪物战斗，可在多个平台上在线游玩或下载，并有活跃的社区支持。
Mask-Proof: 一种基于LLM的数学证明自动化数据梳理流水线
介绍Mask-Proof，一种基于LLM的流水线，可将数学证明转化为掩码步骤任务用于自动评估，并呈现MaskProofBench，一个包含292个精选问题的基准测试，与专家标注者的一致性达到96.8%。
《Caves of Qud》中的端到端程序化生成（2019）
自由游戏（Freehold Games）的Brian Bucklew和Jason Grinblat介绍了他们如何结合程序化生成技术，在游戏《Caves of Qud》中创建具有历史、文化、建筑、NPC和任务的完整村庄。
理解反证法 [pdf]
本文讨论如何理解反证法，这是一种基本的数学推理技巧，旨在用于教育目的。
DungeonQ
DungeonQ 是一款产品，将可疑会话转移到持久的诱饵世界中，通过操作员监督和有界适应来增强人类和AI交互的安全性。