What you will find here: recent experiments, mostly involving LLMs and using Go: semblame, lingograph, wikai, aivoke, velora older research work, including constraint solvers (Inez, PB-SAT) and publications