2 papers
cs.HC2025
ReDemon UI: Reactive Synthesis by Demonstration for Web UI
Jay Lee, Gyuhyeok Oh, Joongwon Ahn +1
ReDemon UI synthesizes React applications from user demonstrations, enabling designers and non-expert programmers to create UIs that integrate with standard UI prototyping workflow…
cs.AI2025
ClassInvGen: Class Invariant Synthesis using Large Language Models
Chuyue Sun, Viraj Agashe, Saikat Chakraborty +5
Formal program specifications in the form of preconditions, postconditions, and class invariants have several benefits for the construction and maintenance of programs. They not on…