<p><span class="h-card" translate="no"><a href="https://inherently.digital/@hierarchon" class="u-url mention">@<span>hierarchon</span></a></span> that approach is sound although using LLMs for that is stupid; if you cross out "LLM" in it then this is just using an SMT solver</p>
