实体 Amitayush Thakur

Amitayush Thakur

PulseAugur coverage of Amitayush Thakur — every cluster mentioning Amitayush Thakur across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_62779 · Jun 1 · 04:00

ProofWala框架赋能多语言定理证明研究

研究人员开发了ProofWala，一个旨在促进神经方法多语言证明数据合成和定理证明的新框架。该框架包含一个可重用的库，用于与交互式定理证明器（ITPs）进行交互，并支持项目范围内的分析和并行实验。通过在Lean 4和Rocq等不同的ITPs上进行多语言模型训练，该系统展示了改进的跨语言和跨领域迁移能力，在特定数学领域取得了统计学上的显著提升。