Found in decaying wood along underside and interior of fallen Populus tremuloides log surrounded by large thatched nest. Several Formica obscuripes workers were present inside the log, and a dealate Formica dakotensis female was also found under the log.
The presence of clavate setae on the legs and eyes confirms Formicoxenus, and the shiny smooth first gaster tergite suggests F. hirticornis.
Images 2, 4-5 show ergatoid females.

Last three images are higher resolution lateral, dorsal, and head views of worker.

https://bugguide.net/node/view/2078519

Observed tandem carrying, multiple workers foraging above leave litter. Found in the botanical garden of Villa Carlotta, however not in a green house but next to an artificial waterfall

For more context see this earlier observation https://www.inaturalist.org/observations/183352558
and this publication
https://doi.org/10.3897/BDJ.12.e123502

Since there are no proper specimen pictures of this specied online(not so surprising), I've decided to throw some in myself. Legs not as red when alive though.
Currently only known from South Korea, this species is rather widespread but more in the western part of the nation. The japanese C. amamianus seem to be the closest known species of this enigmatic endemic.

specimen uploaded to AntWeb: https://www.antweb.org/specimenImages.do?name=antweb1041831

specimen sent to me by @impuls4444

Date is a rough estimation, presumably collected in spring or summer of 2023

Location given as Prasong sub-district, Tha Chana District, Surat Thani Province, Thailand