Shahar Lev

According to our database, Shahar Lev authored at least 2 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Exemplar Guided Active Learning.

Jason S. Hartford, Kevin Leyton-Brown, Hadas Raviv, Dan Padnos, Shahar Lev, Barak Lenz

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

2018

Safety, Absoluteness, and Computability.

Arnon Avron, Shahar Lev, Nissan Levi

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018