GitHub
强迫模型自我争论，递归思考版CoT热度飙升！网友：这不就是大多数推理模型的套路吗？
CoRT（Chain-of-Recursive-Thoughts）结合递归思考与自我批判，提升语言模型推理能力。两周内GitHub星标数突破2k。
Copilot上大分，仅数天，陶哲轩的估计验证工具卷到2.0！刚刚又发数学形式化证明视频
本周陶哲轩发布的新项目通过GitHub Copilot和Lean证明助手的形式化一个数学证明仅需约33分钟，展示了AI工具在复杂证明中的辅助效果。该工具已在GitHub上开源。
字节把 Coze 核心开源了！可视化工作流引擎 FlowGram 上线，AI 赋能可视化流程！
字节跳动开源流程构建引擎FlowGram，支持固定布局和自由布局，结合AI增强功能简化工作流开发。其特点包括丰富的交互体验、节点控制灵活性、强大的扩展能力和低代码能力。
本地部署大模型实现扫描版PDF文件OCR 识别，笔记本可跑
通过本地部署Qwen2.5-VL模型实现从PDF文件中提取文字内容并完成OCR任务，最终输出为Markdown文档。项目涉及Transformers、vLLM和具体的大模型如QWen2.5-VL，并使用Hugging Face的Transformers库和modelscope下载模型。
