New book review!

“Computational evolution of neural and morphological development”, Yaochu Jin, reviewed by Renske Vroomans.

https://link.springer.com/article/10.1007/s10710-024-09499-x

No paywall.

#geneticprogramming #programsynthesis #alife

New issue just announced, including several items with open access:

https://link.springer.com/journal/10710/volumes-and-issues/25-2

#geneticprogramming
#programsynthesis

A Comparison of Large Language Models and Genetic Programming for Program Synthesis https://ieeexplore.ieee.org/document/10551744 #LLMs #geneticprogramming #programsynthesis

(actually i’m really curious what #programsynthesis people’s favorite venues to publish at are — i feel like i see papers on it across all the PL confs, but idk which ones are most receptive to work that isn’t really doing “PL” innovation, rather improving synthesis methods or demonstrating & extending their use for novel applications)

not that the world really needs more computer science conferences, but i keep wondering if there’s appetite for one focused on procedural generation/generative computation, i.e. the union of PCG, generative art, program synthesis, &c.

mostly, it would really help to have a name for this field that people don’t mistake for consisting entirely of text2image statistical models

#generativeArt #genartclub #generativeAI #procgen #proceduralcontentgeneration #programsynthesis #logicprogramming

RT @ZennaTavares@twitter.com

Introducing AutumnSynth, a step toward automating scientific discovery through program synthesis.

AutumnSynth synthesizes the source code of a video game from seconds of play.

paper: https://basis.ai/publications/autumn_popl23.pdf

Blog: https://basis.ai/blog/autumn/

Why do this? How does it work?
🦃🧵 https://twitter.com/ZennaTavares/status/1620855534483296256

#cogsci @cogsci #compcogsci #programinduction #programsynthesis

#ChatGPT, #Codex, and similar models can do program synthesis. I think we in the #GeneticProgramming community aren't quite admitting this to ourselves! If a GP system could do one-tenth of the #ProgramSynthesis ChatGPT can do, it would win a best paper award at #GECCO, #EuroGP, or #GPTP. Should we just give up?

ICYMI: Hazel Levine (Indiana) at #RacketCon

Design Recipe Guided Synthesis with Bingus

https://youtu.be/oAE_G6HYilo

Source for Bingus https://github.com/ralsei/bingus

#Racket #RacketLang #RacketLanguage #htdp #ProgramSynthesis @hazel

Updated some new thoughts regarding the TerpreT problem and my naive solution

https://luxxxlucy.github.io/projects/2021_terpret/index.html

The original TerpreT paper(https://arxiv.org/abs/1608.04428)
discussed solving program induction by gradient based optimization(after making the program differentiable by relaxation ).

#probprog #programsynthesis #neuralnetwork #deeplearning #NeuroSymbolic

Here's my #introduction. I'm a researcher with a background in #ProgrammingLanguages and more recently I've been interested in #spreadsheets and using #ArtificialIntelligence to generate programs (#ProgramSynthesis). I work at #MicrosoftResearch. In my spare time I enjoy #travelling, #hiking, #photography, #birds, and listen to podcasts like #NoSuchThingAsAFish.

#introduction

I'm a researcher in #AI #ArtificialIntelligence. I'm interested in everything but my own research is often about #programsynthesis and #GeneticProgramming. I do some work with #neuralnetworks too.

I'm also into #music. On a good day I combine this with AI.

I'm based in #UniversityOfGalway, in #Ireland.

I’ve only been on Mastodon for less than a week but I’m really happy to be a part of and contribute to the vision of the creators. I’m just getting started so I welcome suggestions for people to follow related to #programminglanguages, #artificialintelligence, #deeplearning, #largelanguagemodels, #programsynthesis, #spreadsheets, #responsibleai, #birdphotography, #birding, #computingresearch.