Bluesky Explorer

#SMLs

Latest posts tagged with #SMLs on Bluesky

Trending

#World Baseball Classic #Rachel Maddow #Trump and Cuba #Vaccine Policy #DLSS 5 #Oscars #Strait of Hormuz #Sonic Racing #Ukraine Conflict #World Baseball Classic #Rachel Maddow #Trump and Cuba #Vaccine Policy #DLSS 5 #Oscars #Strait of Hormuz #Sonic Racing #Ukraine Conflict

Posts tagged #SMLs

Orai NLP Teknologiak

@orainlp.bsky.social

5 months ago

🎓This paper investigates the ability of #LLMs (particularly sub-10B Small Language Models #SMLs) to generate #BehaviorTrees #BTs from natural language, with a specific focus on #Spanish

#SEPLN2025 #OraiNLP

#IKASPROD project
#Robotics

0 0 0 0

José A. Alonso

@jalonso.eurosky.social

1 year ago

Preview

Readings shared February 11, 2025 The readings shared in Bluesky on 11 March 2025 are Extrinsic termination proofs for well-founded recursion in Lean. ~ Joachim Breitner. #ITP #LeanProver Knuth Bendix solver on Z3 AST. ~ Philip Zucke

Readings shared March 11, 2025. jaalonso.github.io/vestigium/po... #AI #ATP #Emacs #FormalVerification #Haskell #ITP #IsabelleHOL #Jape #LLMs #LeanProver #Logic #LogicProgramming #MAS #Mace #Math #Otter #PVS #Prolog #SMLs #SMT #Scala #Z3

1 0 0 0

José A. Alonso

@jalonso.eurosky.social

1 year ago

Preview

Why Do Researchers Care About Small Language Models? | Quanta Magazine Larger models can pull off a wider variety of feats, but the reduced footprint of smaller models makes them attractive tools.

Why do researchers care about small language models? ~ Stephen Ornes. www.quantamagazine.org/why-do-resea... #LLMs #SMLs

6 1 0 0