As of now, none exists.
E.g., if you search for "model checking" in http://www.bibtexsearch.com/, you would notice BibTeX entries for publications that lack certain information, such as the addresses of publishers.

Prof. Jason Mars (https://midas.umich.edu/faculty-member/jason-mars/) had a script (a Python script, or a similar programming language) that could grab information from the ACM Digital Library (https://dl.acm.org/).
Unfortunately, I noticed that the ACM Digital Library can contain incorrect information for names (diacritics problem), titles (mathematical expression typesetting problem), publishers (diacritics problem), and addresses (diacritics problem) that have diacritics, diacritical marks, accents, or mathematical notations. Likewise, other digital/online libraries from other publishers have the same problem.
This is true, regardless of whether they provide access to the suggested BibTeX entry for each publication in the digital/online library.
I believe that cultural/ethnic bias also plays a role in complicating the ability of these digital libraries to track authors over time to determine who claims to be the (co-)author of a publication, due to people can use different versions of their names. E.g., using the initial (or first letter) of their first name, or initials for the first and middle names, or list all their middle names for a subset of their publications but not others. For people who come from populations with many people have the same first name and last name, but different middle names (if any, at all), this becomes complicated when people are not consistent in how they name themselves. People do change their names, not necessarily when they get married or change their gender identity, but also for other reasons. For people who live in English-speaking countries that have had to work with people who use computer technology, or typewriters back in the day, they may have used versions of their names without diacritics, but now do.
E.g., does "J. Smith" for a publication refers to John Smith, Jason Smith, or another Smith. What happens when people with the same tuple/set of first name and last name work in a research topic?
Fancy natural language processing, computer vision (for PDF only publications that lack text-only versions of the publications), and other artificial intelligence technologies, can help us with the aforementioned problems, including validating information in a given BibTeX entry with information that can be obtained from a valid and decent (quality of the images, PDF document, or physical copy of the publication/book) copy of the publication.
While we can all share our BibTeX databases, or set of BibTeX entries, do you trust that other people have done due diligence in validating information that they included in their BibTeX databases? After all, I just indicated the problems of publishers having problems validating/checking the information of BibTeX entries for their publications, including those associated with professional societies in computer science and computer engineering, or related field (such as electrical and computer engineering), such as ACM and IEEE.
However, start now, and over time you can accumulate tens of thousands of BibTeX entries in your BibTeX database. I have a BibTeX database with more than 20,000 BibTeX entries.