影响力指数

38.87/100

前 15.2%

全站排名 #9,803

发表论文5 篇

平均评分6.0

年均产出2.5 篇/年

Bartosz Piotrowski

Researcher@Axiom Math·美国·OpenReview

ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations

ICLR 2026Poster

Lightweight Latent Verifiers for Efficient Meta-Generation Strategies

ICLR 2026Rejected

Magnushammer: A Transformer-Based Approach to Premise Selection

ICLR 2024Poster

Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe

NeurIPS 2024Poster

ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

ICLR 2024Rejected

合作者 (20)

Albert Q. Jiang

Aram H. Markosyan

Fabian Gloeckle

Konrad Staniszewski

Witold Drzewakowski