◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

M. Jamnik

77 papers hereh-index 253k citations225 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • middle author36
  • last author41

Across the 77 of 77 papers where every author was matched, so the position is known.

fields
  • cs.LG53
  • cs.AI12
  • cs.CL3
  • cs.CV3
  • math.HO2
  • cs.HC1

identity via Semantic Scholar / OpenAlex

activity
20172026
most citedAutoformalization with Large Language Models

43 citations · 281 across the 73 of their papers we have counts for

collaborators
Showing math.HOShow all

2 papers · 1 filter

math.HO2026★ 2 cited

Leiden Declaration on Artificial Intelligence and Mathematics

Jarod Alper, Michael Barany, Alain Chavarri Villarello +13

This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research. Technological developments have repeatedly tran…

math.HO2026

Shaping the Future of Mathematics in the Age of AI

Johan Commelin, Mateja Jamnik, Rodrigo Ochigame +2

Artificial intelligence is transforming mathematics at a speed and scale that demand active engagement from the mathematical community. We examine five areas where this transformat…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.