Computer Science - Symbolic Computation

Machine LearningPersonalized Knowledge Graphs: APEX Unleashed

Discover how APEX personalizes knowledge for evolving user interests.

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

Logic in Computer ScienceAdvancements in Interactive Theorem Provers

Discover how HOLALA improves proof efficiency in interactive theorem proving.

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