---
title: "Who cites Alberto Bietti — 58 papers of our library"
description: "58 papers of the Elamur Research library cite the works of Alberto Bietti, found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/authors/alberto-bietti/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/alberto-bietti/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Alberto Bietti](https://md.research.elamur.ai/free/en/authors/alberto-bietti/) / cited by

# Who cites Alberto Bietti

64 citations of their works from 58 papers of our library (of the 149,439 whose bibliographies we read) · 8 with a page here, the most cited first · [← Alberto Bietti](https://md.research.elamur.ai/free/en/authors/alberto-bietti/)

1. [**DeepSeek-V4: Towards Highly Efficient Million-Token Context Intelligence arXiv:2606.19348**DeepSeek-AI, Anyi Xu, Bangcai Lin, et al.*2026 · 122 citations*](https://md.research.elamur.ai/free/en/papers/deepseek-ai-2026-deepseek-v4-highly-efficient/)
2. **[Transformers Can Do Arithmetic with the Right Embeddings](https://md.research.elamur.ai/free/en/papers/mcleish-2024-transformers-arithmetic-right-embeddings/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Sean McLeish, Arpit Bansal, Alex Stein, et al.*2024 · 36 citations*
3. [**Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience arXiv:2512.17260**Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.*2025 · 19 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-seed-prover-1-5/)
4. [**Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics arXiv:2601.14027**Junqi Liu, Zihao Zhou, Zekai Zhu, et al.*2026 · 15 citations*](https://md.research.elamur.ai/free/en/papers/liu-2026-numina-lean-agent-open-general/)
5. **[Retrofitting Large Language Models with Dynamic Tokenization](https://md.research.elamur.ai/free/en/papers/feher-2025-retrofitting-large-language-models-dynamic/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Darius Feher, Ivan Vulić, Benjamin Minixhofer*2025 · 11 citations*
6. [**Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics arXiv:2510.12787**Benjamin Breen, Marco Del Tredici, Jacob McCarran, et al.*2025 · 9 citations*](https://md.research.elamur.ai/free/en/papers/breen-2025-ax-prover-deep-reasoning-agentic/)
7. [**SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training arXiv:2310.02227**Kazem Meidani, Parshin Shojaee, Chandan K. Reddy, et al.*2023 · 8 citations*](https://md.research.elamur.ai/free/en/papers/meidani-2023-snip-bridging-mathematical-symbolic-numeric/)
8. **[Automated Conjecture Resolution with Formal Verification](https://md.research.elamur.ai/free/en/papers/ju-2026-automated-conjecture-resolution-formal-verification/) [SuperIntelligence - Robotics - Safety & Alignment](https://md.research.elamur.ai/free/en/venues/superintelligence-robotics-safety-alignment/)**Haocheng Ju, Guoxiong Gao, Jiedong Jiang, et al.*2026 · 5 citations*

50 more citing papers of our library have no page here yet.

- [← back to](https://md.research.elamur.ai/free/en/authors/alberto-bietti/) — Alberto Bietti