GF seminar #7: Thursday 12 September 2024

[Inari]

Hi!
The 7th GF seminar will be held on Thursday, September 12.

Here's a Zoom link for the meeting.

The time is 14:00-15:30 UTC, which means

• 11:00-12:30 in Rio de Janeiro
• 15:00-16:30 in London
• 16:00-17:30 in Gothenburg
• 17:00-18:30 in Riga

(I'm sorry if I didn't get your time zone, there were some names on the doodle whose locations I don't know!)

In the agenda we have the following items so far:

• Aarne Ranta: Informalization of Formal Mathematics
• New release of GF
• Time to plan for Summer School 2025!

If you want to share your work, please send me an email if you want to spend more than 5 minutes! As usual, we will also do shorter updates on whatever everyone is doing with GF.

All this information, and updating agenda, is also found at http://www.grammaticalframework.org/~inari/gf-seminar/.

See you next week!

Inari

[Inari]

GF seminar is in 29 hours and 11 minutes from now!

Zoom link and timetable as previously.

Updated agenda (also found at https://www.grammaticalframework.org/~inari/gf-seminar/) .

Aarne Ranta: Building grammar libraries for mathematics and avoiding manual work (45 min)

The talk addresses the task of creating a multilingual term lexicon from Wikidata labels and using them in a syntax that can parse and generate mathematical texts. The current implementation covers 8 languages and 5381 Wikidata concepts, together with a syntax that is an extension of the ForTheL CNL. The focus of the talk is on a pipeline that tries to make maximal use of existing rule-based and data-driven methods and resources. The pipeline is designed to work on any set of Wikidata objects for any language that has a GF resource grammar and a UD-Pipe parser.

This work is a part of the research project Informath, Informalization of Formal Mathematics. The talk was originally given in the workshop of Libraries of Digital Math, which was a part of the Trimester "Prospects of Formal Mathematics" of Hausdorff institute of Mathematics in Bonn this summer, and the work was mainly carried out during my stay at the Institute.

https://www.mathematics.uni-bonn.de/him/programs/past/him-trimester-program-prospects-of-formal-mathematics#wrks3

I want to thank the organizers and the Hausdorff Institute for inviting me to the Trimester creating ideal conditions for the reported work, much of which is a result of discussions and collaboration with other participants of the Trimester.

Katya Voloshina: Automatically adding morphology to GF-RGL (10 min)

General discussion points (30 min)

• New release of GF
• Time to plan for Summer School 2025!

See you tomorrow!

Inari