ALTA<p>Long Hei Matthew Lam from Monash University has given the oral presentation titled A Closer Look at Tool-based Logical Reasoning with <a href="https://sigmoid.social/tags/LLMs" class="mention hashtag" rel="tag">#<span>LLMs</span></a>: The Choice of Tool Matters.</p><p>In this paper, he fills the gaps in the comparison between symbolic solvers, including <a href="https://sigmoid.social/tags/Z3" class="mention hashtag" rel="tag">#<span>Z3</span></a>, <a href="https://sigmoid.social/tags/Pyke" class="mention hashtag" rel="tag">#<span>Pyke</span></a>, and<br /><a href="https://sigmoid.social/tags/Prover9" class="mention hashtag" rel="tag">#<span>Prover9</span></a> with <a href="https://sigmoid.social/tags/LLMs" class="mention hashtag" rel="tag">#<span>LLMs</span></a> augmented.</p>