Computerwissenschaften - Symbolische Berechnungen

Maschinelles LernenPersonalisierte Wissensgraphen: APEX entfesselt

Entdecke, wie APEX Wissen für sich wandelnde Benutzerinteressen personalisiert.

2025-01-29T13:42:09+00:00 ― 7 min Lesedauer

Logik in der InformatikFortschritte bei interaktiven Theorembeweiser

Entdecke, wie HOLALA die Beweis-Effizienz im interaktiven Theorembeweisen verbessert.

2025-01-18T09:40:03+00:00 ― 6 min Lesedauer