[SCML-announce] [SCML] New Publication on Symbolic Computation and Machine Learning

[SCML Announcements]

We are pleased to announce a new publication in the RISC Proceedings on
Symbolic Computation and Machine Learning (SCML):

  Multilingual Autoformalization via Fine-tuning Large Language
  Models with Symbolically Generated Data
  Pei Huang, Nicholas Smallbone, Aarne Ranta
  2025, 18 pages

  https://scml.risc.jku.at/proceedings/

With best regards,
The SCML editorial board
----
Please consider subscribing to the SCML Mailing List in order to be
informed about papers published in the SCML proceedings:
https://scml.risc.jku.at/mailinglist/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature.asc
Type: application/pgp-signature
Size: 495 bytes
Desc: OpenPGP digital signature
URL: <http://listserver.risc.jku.at/pipermail/scml-announce/attachments/20251219/d255891c/attachment.pgp>