#programsynthesis

2024-11-29

New book review!

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

link.springer.com/article/10.1

No paywall.

#geneticprogramming #programsynthesis #alife

2024-11-27

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

link.springer.com/journal/1071

#geneticprogramming
#programsynthesis

Jason H. Moore, Ph.D.moorejh@mastodon.online
2024-08-29

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

2023-08-02

(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)

2023-08-02

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

2023-02-01

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: basis.ai/publications/autumn_p

Blog: basis.ai/blog/autumn/

Why do this? How does it work?
🦃🧵 twitter.com/ZennaTavares/statu

#cogsci @cogsci #compcogsci #programinduction #programsynthesis

jmmcdjmmcd
2022-12-13

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

Stephen De Gabriellespdegabrielle@types.pl
2022-11-25

ICYMI: Hazel Levine (Indiana) at #RacketCon

Design Recipe Guided Synthesis with Bingus

youtu.be/oAE_G6HYilo

Source for Bingus github.com/ralsei/bingus

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

Phone screen with the Bingus (hairless cat) as background captured from the last slide in the presentation
2022-11-22

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

luxxxlucy.github.io/projects/2

The original TerpreT paper(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

Ben Zorn (he, him)benzorn
2022-11-20

Here's my . I'm a researcher with a background in and more recently I've been interested in and using to generate programs (). I work at . In my spare time I enjoy , , , , and listen to podcasts like .

jmmcdjmmcd
2022-11-07

I'm a researcher in . I'm interested in everything but my own research is often about and . I do some work with too.

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

I'm based in , in .

Ben Zorn (he, him)benzorn
2022-11-04

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 , , , , , , , , , .

2017-07-25
In the last 15 mins or so, he shows #programsynthesis using barliman. Test Driven Development, where all you do is write the tests, and the theorem prover writes the code (or you can help it by writing the skeleton of the code). Awesomesauce.

#barliman https://github.com/webyrd/Barliman

!scheme

Client Info

Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst