"Got yet another Google Scholar alert for a hallucinated citation of a paper I didn't write. This is the second time this has happened. Please don't use LLMs to write your related work section" @taliaringer.bsky.social on X xcancel.com/TaliaRinger/...

Show Post

@taliaringer.bsky.social uses post-Zionist, which is the term that most dialogues with current Israeli usage of the term Zionist (naturally, post-Zionism was Im Tirzu's ideological Public Enemy #1, rather like wokeness to Rufo except people did self-ID that way).

Show Post

IDE for validating specifications It uses #LeanLang #LeanProver blog.atlascomputing.org/p/ide-for-va...

Show Post

@taliaringer.bsky.social mentioned!

Show Post

HoTSoS 2024 keynote presentation given by @taliaringer.bsky.social entitled "Language Models for Formal Proof" youtu.be/TWMXGiyPx7A?...

Show Post