Semantic Scholar is for search, but you can't just go there and look at everything that has been uploaded today as you do in arXiv, right? I know many people who check arXiv every day (myself included) but not Semantic Scholar, although I guess this might be highly field-specific.
What follows is totally offtopic, but to be honest I don't check Semantic Scholar much because I have a grudge with it. Profiles just don't work for authors with accented characters in the name (such as myself), papers get dispersed between multiple automatically-generated profiles. The staff is very helpful and will manually merge profiles for me when asked, but then I publish a new paper and wham, instead of incorporating it into the merged profile the system creates a new one. This has been going on for 6 years (if not more) and still unfixed.
For all the criticism that Google Scholar gets, I highly prefer it because it gets that right. It's extremely annoying when tools give you extra work for committing the sin of not having an Anglo-Saxon name (this is much more common than unaffected people would expect) and just don't seem to care to fix it.
How hypocritical of someone preaching the virtues of formal proofs to be using a single example to try to prove the 'for all' case... As if it's feasible for all systems, for all requirements, under all possible financial constraints.
Oh yes, I'm the LLM here.
Maybe you should run your comments through your Coq proof-assistant before you post them!
reply