Columbia University（哥伦比亚大学）

Prove2Me: An Open Collaborative Platform for Scaling Math Formalization

Prove2Me：用于规模化数学形式化的开源协作平台

Shuze Chen, Kunal Marwaha, Xiaoyang Lu, Henry Yuen, Tianyi Peng

机构 * Columbia University（哥伦比亚大学） ； University of Chicago（芝加哥大学） ； Purdue University（普渡大学） 纠错

AI总结 Prove2Me是支持人类与AI智能体协作的开源数学形式化平台，可降低大规模数学形式化的门槛，实现众包式规模化形式化验证。

Comments this https URL (https://prove2.me)

A Deeper Analysis of Block-Sparse Featurizers

块稀疏特征化器（BSF）的深入分析

Alexandru-Iulius Jerpelea, Amith Ananthram

机构 * Columbia University（哥伦比亚大学） 纠错

AI总结 本文深入分析块稀疏特征化器（BSF）的优缺点，针对其存在的经典稀疏自编码器失效模式，提出锦标赛Top-K选择规则等架构改进，并将块范式扩展至跨编码器。

Comments 9 pages, 12 figures, 2 tables