35 citations · 56 across the 11 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.GR2024
Newclid: A User-Friendly Replacement for AlphaGeometry
Vladmir Sicca, Tianxiang Xia, Mathïs Fédérico +3
We introduce a new symbolic solver for geometry, called Newclid, which is based on AlphaGeometry. Newclid contains a symbolic solver called DDARN (derived from DDAR-Newclid), which…
cs.LG2024
VIL: Learning to Leverage Auxiliary Tasks for Multitask Learning
Rafael Kourdis, Gabriel Gordon-Hall, Philip John Gorinski
Multitask Learning is a Machine Learning paradigm that aims to train a range of (usually related) tasks with the help of a shared model. While the goal is often to improve the join…