Search for a command to run...
Les LMs frugaux entraînés pour invoquer des solveurs symboliques atteignent un raisonnement arithmétique efficace en termes de paramètres