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.

Day 5 of #Drawlloween2023 "Pirates of The Scary Seas"

Pyke from League of Legends is the reason the waters of Bilgewater is so scary.

#art #dralloween #halloween #fanart #pyke #leagueoflegends #horror #mastoart

Day 16 - Ocean Song Pyke
Bro here really needs a not super edgy skin .. make it a thirsttrap it'll sell just as much

#conceptober2022 hosted by @ EraiViolett

This is the last one I'm making, though I might finish one of the concepts in the future o7

#LeagueOfLegends #ArtOfLegends #Pyke #conceptart #illustration #riotgames #fanart #digitalart