Facial recognition software wrongly imprisoned a Tennessee grandmother for six months in a Fargo bank fraud case she didn't commit while 1,200 miles away.

The team's automated reasoning research aims to build algorithms that allow computers to perform logical reasoning. The output of these algorithms is traditionally binary: satisfiable or unsatisfiable ...

Abstract: Entity matching, which identifies two entities from different sources as the same, is a key task in natural language processing (NLP). Although fine-tuning pre-trained language models has ...

Abstract: Aiming at the problem of false negatives and false positives in loop closure detection for visual SLAM algorithms in dynamic environments, a dynamic visual SLAM loop closure detection ...