sigmoid.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A social space for people researching, working with, or just interested in AI!

Server stats:

592
active users

ALTA

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

In this paper, he fills the gaps in the comparison between symbolic solvers, including , , and
with augmented.