🧑‍🔬 Marco Del Tredici

🏛️ Affiliations

🎓University of AmsterdamAmsterdam · Netherlands2016–2020 · 15 papers🏢AmazonSeattle · United States2020–2025 · 8 papers🎓University of CambridgeCambridge · United Kingdom2022–2023 · 3 papers🎓Universitat Pompeu FabraBarcelona · Spain2014–2015 · 2 papers

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

🧭 Fields, topics and concepts

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

📅 Works by year

2020s

📄 Papers

The most cited first (OpenAlex and our library).

1. Analysing Lexical Semantic Change with Contextualised Word Representations (2020 · 239 citations)
   Most earlier work on lexical semantic change gives each word form a single static vector or assumes a fixed set of senses.
2. Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics (2025 · 9 citations)
   Specialized Lean provers such as DeepSeek-Prover, Kimina-Prover and Goedel-Prover do well on math competition benchmarks, but they have three drawbacks.

All works

5 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. Analysing Lexical Semantic Change with Contextualised Word RepresentationsAnnual Meeting of the Association for Computational Linguistics (ACL)Mario Giulianelli, Marco Del Tredici, Raquel Fernández2020 · 239 citations
2. A Wind of Change: Detecting and Evaluating Lexical Semantic Change across Times and Domains ↗Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics · no summary yetDominik Schlechtweg et al.2019 · 152 citations
3. Short-Term Meaning Shift: A Distributional Exploration ↗Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long and Short Papers) · no summary yetMarco Del Tredici, Raquel Fernández, Gemma Boleda2019 · 109 citations
4. Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum PhysicsarXiv:2510.12787Benjamin Breen, Marco Del Tredici, Jacob McCarran, et al.2025 · 9 citations
5. Exploring Latin WordNet synset annotation with LLMs ↗Proceedings of the 13th Global Wordnet Conference · no summary yetDaniela Santoro et al.2025 · 2 citations

🤝 Co-authors here

2 co-authors with a page, the most papers together first.

• Mario Giulianelli
• Raquel Fernández

Venues

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

• Annual Meeting of the Association for Computational Linguistics (ACL) ×2: ACL 2020
• Proceedings of the 13th Global Wordnet Conference
• Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long and Short Papers)

🔗 Cited by

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

Updated 3 November 2026

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/marco-del-tredici/