Robust Relational Layout Synthesis from Examples for Android
summary
An end-to-end system called InferUI synthesizes Android relational layouts by encoding 26 ConstraintLayout relations as SMT formulas, adding formal robustness properties, and turning synthesis into a guided maxSAT problem via a learned probabilistic model of constraints. It uses real layouts from the top 500 GitHub and top 500 Play apps, succeeds on a single device in 100% of cases, generalizes across devices for 92% generalization, and supports quick user corrections and scalable search.
AI-written summary · about
