影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
22.04/100
前 36.9%
全站排名 #23,787
发表论文5 篇
平均评分
年均产出2.5 篇/年
Philipp Borchert
研究方向
Multilingual NLP · Business Applications of NLP · AI for Mathematics · Low-resource NLP · Formal Reasoning · Information Extraction
18
DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems
ICLR 2026Poster
二作20
A Benchmark for Deep Information Synthesis
ICLR 2026Poster
14
TopoAlign: A Framework for Aligning Code to Math via Topological Decomposition
ICLR 2026Rejected
二作19
Conjecturing: An Overlooked Step in Formal Mathematical Reasoning
ICLR 2026Rejected
二作