The SIGMathLing seminar is a bi-weekly (i.e. every two weeks) seminar on mathematical language. It is intended as a forum for reporting on results and new developments and discussing them with fellow enthusiasts.
We use the SIGMathLing mailing list for announcements and a mattermost channel for chat. To join the mattermost channel:
|2020-12-07||Deyan Ginev||Language and mathematics pretraining in 2021: preparing the large open datasets (slides)|
|2020-12-21||Deborah Mendes Ferreira||Premise Selection in Natural Language: Finding supporting facts for mathematical statements (slides)|
|2021-01-04||-||cancelled (too close to New Year)|
|2021-01-18||Jan Frederik Schaefer||A Symbolic Framework for Mathematical Language Understanding (slides)|
|2021-02-01||Takuto Asakura||Towards Grounding of Formulae|
|2021-03-01||Bernhard Schröder||Something about proof structures?|