sigmoid.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A social space for people researching, working with, or just interested in AI!

Server stats:

596
active users

#programsynthesis

0 posts0 participants0 posts today

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"

repository.tudelft.nl/record/u

repository.tudelft.nlLLM-Driven Synthesis of Concurrent Data Structures with SMR under Weak Memory | TU Delft Repository