影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
58.63/100
前 5.1%
全站排名 #3,309
发表论文6 篇
平均评分
年均产出3.0 篇/年
Albert Q. Jiang
研究方向
Logic · Theorem Proving · Program Synthesis · Machine Reasoning · GNNs · Reinforcement Learning
17
Magnushammer: A Transformer-Based Approach to Premise Selection
ICLR 2024Poster
9
Llemma: An Open Language Model for Mathematics
ICLR 2024Poster
17
Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe
NeurIPS 2024Poster
一作16
Multi-language Diversity Benefits Autoformalization
NeurIPS 2024Poster
一作15
End-to-End Ontology Learning with Large Language Models
NeurIPS 2024Poster
二作