Long Hei Matthew Lam from Monash University has given the oral presentation titled A Closer Look at Tool-based Logical Reasoning with #LLMs: The Choice of Tool Matters.

In this paper, he fills the gaps in the comparison between symbolic solvers, including #Z3, #Pyke, and
#Prover9 with #LLMs augmented.