📰 Workshop on Mathematical Natural Language Processing (MathNLP)

📅 Works by year

Editions

Each year with works in our library has its page: the place and dates where known, its works, topics, authors and institutions.

2020s

🧭 Top topics

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

😊Sentiment & emotion (1)🧮Reasoning (1)

📚 Fields

🎭Arts and Humanities (2)🖥️Computer Science (2)🤝Social Sciences (1)

🧑‍🔬 Top authors

Authors with a page who published here most often: their works here, and the citations of those works.

🏛️ Top institutions

Institutions on the bylines of its works here, by the number of works.

🎓University of North Carolina at CharlotteCharlotte · United States1 work here🎓Ohio UniversityAthens · United States1 work here

📄 Works in our library (2)

The most cited first (OpenAlex citations plus our library's).

1. Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary ProofsWorkshop on Mathematical Natural Language Processing (MathNLP)Garett Cunningham, Razvan Bunescu, David Juedes2022 · 25 citations
2. Fluid Dynamics-Inspired Emotional Analysis in Shakespearean Tragedies: A Novel Computational Linguistics MethodologyWorkshop on Mathematical Natural Language Processing (MathNLP)Davide Picca2024 · 1 citation

Venues, publishers and identifiers from OpenAlex (2026-10-14) and the ACL Anthology; yearly proceedings are counted as one series.

This page in Markdown → https://md.research.elamur.ai/free/en/venues/mathnlp/