Jakob Nordhagen

Identifiers

• name variant Jakob Nordhagen 0.60 · backfill

Papers (1)

1. Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization cs.AI · 2025 · author #3

Mentions

• 2502.15795 #3 · arxiv_oai · confidence 0.70 Jakob Nordhagen

Frequent Coauthors

• Brando Miranda 1 shared papers
• Elyas Obbad 1 shared papers
• Kai Fronsdal Sanmi Koyejo 1 shared papers
• Michael Souliman 1 shared papers
• Willy Chan 1 shared papers