Research Tools: code, datasets, & models

Multi-Evidence Reasoning with Transformer eXtra Hop Attention

mai is a free and open-source tool for computer-assisted mathematics (opens in new tab). It includes a comprehensive coverage of the language of mathematics and its ‘standard’ foundations; namely, first-order logic (opens in new tab) and the Zermelo–Fraenkel axioms (opens…

horc is a free and open-source tool for programming with Horn clauses (opens in new tab). Horn clauses are the core of Prolog (opens in new tab) and logic programming (opens in new tab) in general. horc is an extension to Prolog’s interpreter…

TensorFlow 2 library implementing Graph Neural Networks.

Service that synchronizes topics between OneBusAway servers and the Microsoft Embedded Social service.

CryptoNets is a demonstration of the use of Neural-Networks over data encrypted with Homomorphic Encryption. Homomorphic Encryptions allow performing operations such as addition and multiplication over data while it is encrypted.

The Gait and Balance app uses the Kinect for Windows (V2) to measure different metrics related to gait and balance. This can be used, for example, for assessing risk of fall among older adults or…

Caption Crawler is assistive technology that allows screen reader users to automatically replace bad or missing descriptions of images on their favorite websites with image captions from other pages that have similar images. Learn more…

Caption Crawler is assistive technology that allows screen reader users to automatically replace bad or missing descriptions of images on their favorite websites with image captions from other pages that have similar images. Learn more…

Current virtual reality applications do not support people who have low vision, i.e., vision loss that falls short of complete blindness but is not correctable by glasses. We present SeeingVR, a set of 14 tools…