Master thesis by Alexandru Dumitriu: "LLM-Driven Synthesis of Concurrent Data Structures with SMR under Weak Memory"
"This thesis introduces a synthesis-verification pipeline that iteratively generates concurrent data structures from partial code specifications [..] We evaluate our approach using established concurrent data structure benchmarks, demonstrating rapid convergence to correct implementations"
https://repository.tudelft.nl/record/uuid:5a857798-276f-4545-af2d-8a381e84df9a
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.
New issue just announced, including several items with open access:
https://link.springer.com/journal/10710/volumes-and-issues/25-2
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
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.
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.
