Tootfinder

Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models
Daniel Koh, Yannic Noller, Corina S. Pasareanu, Adrians Skapars, Youcheng Sun
https://arxiv.org/abs/2506.08171

Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models
Large language models (LLMs) have been successfully applied to a variety of coding tasks, including code generation, completion, and repair. However, more complex symbolic reasoning tasks remain largely unexplored by LLMs. This paper investigates the capacity of LLMs to reason about worst-case executions in programs through symbolic constraints analysis, aiming to connect LLMs and symbolic reasoning approaches. Specifically, we define and address the problem of worst-case symbolic constraints a…

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Scotts Maphuma, Felo Le Tee & Thabza Tee feat. DJ Maphorisa & Djy Biza:
🎵 Yebo Lapho (Gogo) [feat. DJ Maphorisa & Djy Biza]
#ScottsMaphuma #FeloLeTee #ThabzaTee #DJMaphorisa
https://newmoneygang.bandcamp.com/track/yebo-lapho-gogo
https://open.spotify.com/track/0NLRYW9HyqHcbyzfAwskKN

Empirical Evaluation of Generalizable Automated Program Repair with Large Language Models
Viola Campos, Ridwan Shariffdeen, Adrian Ulges, Yannic Noller
https://arxiv.org/abs/2506.03283

Empirical Evaluation of Generalizable Automated Program Repair with Large Language Models
Automated Program Repair (APR) proposes bug fixes to aid developers in maintaining software. The state of the art in this domain focuses on using LLMs, leveraging their strong capabilities to comprehend specifications in natural language and to generate program code. Recent works have shown that LLMs can be used to generate repairs. However, despite the APR community's research achievements and several industry deployments in the last decade, APR still lacks the capabilities to generalize broad…

Man wird den Eindruck nicht los, dass sich einige Aktivist*innen die linken Hamburger Verhältnisse der Nuller Jahre mit Gewalt gegen Antideutsche und Juden_Jüdinnen zurückwünschen. #RoteFlora #FloraFürAlle