New publications found on Google Scholar

[github-actions]

One or more papers on the Google Scholar profile are not in
_bibliography/papers.bib. The entries below were appended, with
metadata from Crossref where a DOI exists and from arXiv otherwise.

Each is marked with a % TODO comment. Before merging, please:

• check the venue and author list, which Scholar and Crossref both
  get wrong from time to time;
• add abbr if the venue has a short form;
• add a preview image in assets/img/publication_preview/ if the
  paper deserves a thumbnail, and remember to keep it under 1400 px;
• add selected = {true} to put it on the front page;
• delete the % TODO comment.

If a record should never be added — Scholar occasionally attributes
someone else's paper to the profile — add its title or publication id
to _data/scholar_ignore.yml instead, and close this PR.