Elamur Research⌕
☰
home / authors / Alberto Bietti

Alberto Bietti

Alberto Bietti has 2 papers in our library, in 2023–2025, most of them on Language models & pretraining, Reasoning, Tokenization & segmentation; often with Miles Cranmer.

2 papers in our library · 2023–2025

OpenAlex · h-index 13 · 68 works · 552 citations OpenAlex, 2026-10-14

📄 2 works in our library · 🔗 Cited 64 times in our library · 8 more in our library without a page yet · ⭐ Paper Stars ranking: #9758

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Affiliations

🔬Flatiron InstituteNew York · United States2023–2026 · 20 paperscurrent🏢Flatiron HealthNew York · United States2026 · 1 papercurrent🎓New York UniversityNew York · United States2018–2024 · 12 papers🔬THOTH: Apprentissage de modèles visuels à partir de données massivesMontbonnot-Saint-Martin · France2016–2019 · 9 papers🔬Institut national de recherche en sciences et technologies du numériqueLe Chesnay-Rocquencourt · France2015–2019 · 7 papers🔬Centre National de la Recherche ScientifiqueParis · France2015–2020 · 5 papers🤝Simons FoundationNew York · United States2025 · 4 papers🎓Institut polytechnique de GrenobleGrenoble · France2016–2019 · 3 papers🏢CriteoParis · France2020–2022 · 2 papers

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 11 more institutions on single bylines are not listed.

 Fields, topics and concepts

Of its works in our library, with the number of works on each.

📚 Shelves 6The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksArtificial Intelligence · 2 worksComputational Theory and Mathematics · 1 workArts and Humanities · 1 workComputer Vision and Pattern Recognition · 1 workLanguage and Linguistics · 1 work

🧭 Topics 3Research subjects and languages the work is about.Reasoning · 1 workLanguage models & pretraining · 1 workTokenization & segmentation · 1 work

 Works by year

2020s

20251 paper20231 paper

 Papers

The most cited first (OpenAlex and our library).

  1. Aristotle: IMO-level Automated Theorem Proving (2025 · 29 citations)
    The Harmonic Team presents Aristotle, a system for automated theorem proving that combines natural-language mathematical reasoning with machine-checked proofs in Lean 4 and Mathlib.
  2. xVal: A Continuous Numerical Tokenization for Scientific Language Models (2023 · 19 citations)
    Standard LLMs split numbers into discrete text tokens, so they do not capture magnitude or continuity well.

All works

10 works of theirs in our library, the most cited first; 2 with a page here, the others link their original until we summarise them.

  1. AstroCLIP: a cross-modal foundation model for galaxies ↗Monthly Notices of the Royal Astronomical Society · no summary yetLiam Parker et al.2024 · 76 citations
  2. Aristotle: IMO-level Automated Theorem ProvingSuperIntelligence - Robotics - Safety & AlignmentTudor Achim, Alex Best, Alberto Bietti, et al.2025 · 29 citations
  3. Multiple Physics Pretraining for Physical Surrogate Models ↗arXiv (Cornell University) · no summary yetMcCabe, Michael et al.2023 · 22 citations
  4. xVal: A Continuous Numerical Tokenization for Scientific Language ModelsarXiv:2310.02989Siavash Golkar, Mariel Pettee, Michael Eickenberg, et al.2023 · 19 citations
  5. Multiple Physics Pretraining for Spatiotemporal Surrogate Models ↗neural information processing systems · no summary yetMichael McCabe et al.2024 · 14 citations
  6. AION-1: Omnimodal Foundation Model for Astronomical Sciences ↗neural information processing systems · no summary yetLiam Parker et al.2025 · 2 citations
  7. Contextual Counting: A Mechanistic Study of Transformers on a Quantitative Task ↗arXiv (Cornell University) · no summary yetSiavash Golkar et al.2024 · 2 citations
  8. MIMIC: A Generative Multimodal Foundation Model for Biomolecules ↗arXiv (Cornell University) · no summary yetSiavash Golkar et al.2026 · 1 citation
  9. Emergent Transfer of a Physics Foundation Model from Simulation to Laboratory Turbulence ↗arXiv (Cornell University) · no summary yetPayel Mukhopadhyay et al.2026
  10. Universal Spectral Tokenization via Self-Supervised Panchromatic Representation Learning ↗arXiv (Cornell University) · no summary yetJeff Shen et al.2025

 Co-authors here

1 co-author with a page, the most papers together first.

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

 Cited by

Papers of our library cite their works 64 times (of the 149,439 papers whose bibliographies we read); 8 citing papers with a page here →.

Updated

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/alberto-bietti/