Collaborating Authors

On the Completeness of Lifted Variable Elimination

AAAI Conferences

Lifting aims at improving the efficiency of probabilistic inference by exploiting symmetries in the model. Various methods for lifted probabilistic inference have been proposed, but our understanding of these methods and the relationships between them is still limited, compared to their propositional counterparts. The only existing theoretical characterization of lifting is a completeness result for weighted first-order model counting. This paper addresses the question whether the same completeness result holds for other lifted inference algorithms. We answer this question positively for lifted variable elimination (LVE). Our proof relies on introducing a novel inference operator for LVE.

Chris Paul goes down at the end, but the Rockets pull away and put Warriors on brink of elimination

Los Angeles Times

The Rockets honored the 10 people killed in last week's school shooting in Santa Fe, Texas, before the game, with the school's choir singing the national anthem and team owner Tilman Fertitta wearing a "Santa Fe Strong" T-shirt, before Houston scored the game's first six points in a first half where the team led by as many as 11.

UCLA wins three straight elimination games to advance to Super Regionals

Los Angeles Times

Pac-12 freshman of the year Aaliyah Jordan singled and advanced to second on a throwing error to lead off the bottom of the fourth, but Garcia grounded out. Apassed ball moved Jordan to third and Nickles singled to left to tie the game. UCLA got runners to second and third, but Sophie Frost, who relieved Fullerton starter Trish Parks in the third, struck out Brianna Tautalafua and Imani Johnson was called out on runner's interference when she was struck by Taylor Pack's grounder.

Dubnyk, Wild Beat Blues 2-0 to Avoid Elimination

U.S. News

It was the first time since Thanksgiving that Granlund and Koivu played on separate lines. . Koivu was named a finalist for the Selke Trophy.