home.social

#pyke — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #pyke, aggregated by home.social.

  1. ALTA @[email protected] ·

    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.

    #llms #z3 #pyke #prover9
  2. ALTA @[email protected] ·

    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.

    #llms #z3 #pyke #prover9
  3. ALTA @[email protected] ·

    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.

    #llms #z3 #pyke #prover9
  4. ALTA @[email protected] ·

    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.

    #prover9 #pyke #z3 #llms
  5. ALTA @[email protected] ·

    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.

    #llms #z3 #pyke #prover9
  6. Funky Pepe @[email protected] ·

    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

    #conceptober2022 #leagueoflegends #artoflegends #pyke #conceptart #illustration
  7. Funky Pepe @[email protected] ·

    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

    #conceptober2022 #leagueoflegends #artoflegends #pyke #conceptart #illustration
  8. Funky Pepe @[email protected] ·

    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

    #digitalart #fanart #riotgames #illustration #conceptart #pyke
  9. Funky Pepe @[email protected] ·

    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

    #conceptober2022 #leagueoflegends #artoflegends #pyke #conceptart #illustration