retag: logbook.json (verbatim titles)

Fix paper openreview_id and tags in logbook.json

Update logbook: Reproduction: Probabilistic Bisection Algorithm Provably Achieves Exponential Convergence