Forschung
Neuro-Symbolische Evolution führt Autoformalisation effizienter und vielfältiger
Autoformalisation versucht, mathematische Texte in maschinenlesbare, überprüfbare Aussagen zu übersetzen. Dabei reicht semantische Konsiste…
arXiv – cs.AI