research
∙
07/23/2022
A general-purpose method for applying Explainable AI for Anomaly Detection
The need for explainable AI (XAI) is well established but relatively lit...
share
research
∙
01/24/2022
Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems
Digital mathematical libraries assemble the knowledge of years of mathem...
research
∙
09/17/2021
Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems
Document preparation systems like LaTeX offer the ability to render math...
research
∙
05/22/2020
Classification and Clustering of arXiv Documents, Sections, and Abstracts, Comparing Encodings of Natural and Mathematical Language
In this paper, we show how selecting and combining encodings of natural ...
research
∙
11/14/2019
Query Expansion for Patent Searching using Word Embedding and Professional Crowdsourcing
The patent examination process includes a search of previous work to ver...
research
∙
09/24/2017
A novel recommendation system to match college events and groups to students
With the recent increase in data online, discovering meaningful opportun...
research
∙
10/31/2012