Finding Transformer Circuits with Edge Pruning-通过边缘修剪识别变压器电路

这是一个精心策划的阅读列表，专注于机器心智理论的最新进展，基于EMNLP 2023年关于大语言模型中情境心智理论的论文构建。

这个项目汇集了深度符号逻辑领域的研究论文，主要关注自然语言处理应用，适合研究人员和开发者参考，提供最新的研究动态和趋势。

一个离线运行的本地语音识别转文字服务，能够输出json、srt字幕及纯文字格式，支持多种语言和自定义词汇，提供高准确率的语音识别功能。

本项目对零阶优化技术进行了基准研究，重点关注在微调大型语言模型时的内存效率。

Lotus 1-2-3 for Linux是Lotus 1-2-3的本地移植版本，旨在为Linux用户提供强大的电子表格功能，兼容Lotus 1-2-3 v3的功能，支持电子表格、图表和数据分析，并提供用户友好的界面。

Casbin是一个支持ACL、RBAC、ABAC等授权模型的开源授权库，适用于Java、Go、Rust、C++、PHP等多种编程语言，致力于提供灵活的策略管理和高性能的访问控制解决方案，已获得近10k的star。

这个开源项目是一个Chrome扩展，使用ChatGPT技术来总结已存档的研究论文。它可以帮助用户节省时间和工作量，让他们更快地了解论文的核心内容。

一个Figma和FigJam的widget，支持将绘制或设计的内容转变为功能原型，利用GPT-4V将图像转成代码。

使用transformers.js实现的前端语义搜索工具，允许用户在浏览器中进行语义搜索，计算嵌入和余弦相似度，无需服务器端推理。

OpenAI改进了大规模训练稀疏自动编码器的方法，以提取可解释特征并理解语言模型的神经活动。

OmAgent是一个多模态智能体系统，专注于利用多模态大语言模型能力以及其他多模态算法来处理各种多模态任务。

该项目提供了现代深度学习技术在自然语言处理中的应用，包括多种模型和算法，结合实用代码示例，适用于多种NLP任务，文档易于理解，同时持续更新最新研究成果。

rs是一个基于JAX的随机搜索实现，专为运动任务设计，能够高效地利用MuJoCo XLA (MJX)进行训练，支持多种运动环境，便于研究和实验。

CodeShell 是由北京大学软件工程国家工程研究中心与四川天府银行 AI 实验室联合开源的 70 亿参数的代码大模型，号称同等规模最强代码基座。它基于 5000 亿 Tokens 进行了冷启动训练，具备 8192 的上下文窗口长度，融合了 StarCoder 和 Llama 的核心特性，支持中英文和代码的平衡且高效的编解码，并在 HumanEval 和 MBPP 代码评估基准中表现优异。该模型还支持 Flash Attention2 加速，训练吞吐量高达每 GPU 每秒 3400 Token，同时提供 IDE 插件，兼容 VSCode 和 IntelliJ IDEA。

《算法（第4版）》一书中用现代C++实现的算法代码库，涵盖了大量经典算法和数据结构，适合学习和理解算法的现代实现，提供详细的注释和文档，便于学习和应用。

SOS4NLP是针对自然语言处理领域的综述调查，提供全面的NLP资源汇总，包括多种任务和方法的研究综述、丰富的参考文献和链接，旨在帮助研究人员快速找到相关资料。

imageflow 是一个用于 Web 服务器的高性能图像处理工具，支持多种图像处理功能，能够高效地处理图像请求。

Swagger 是 RESTful API 的简单而强大的表示，而 go-swagger 为 go 社区带来了一整套功能齐全、高性能的 API 组件，可与 Swagger API 一起使用：服务器、客户端和数据模型。