{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T21:15:13Z","timestamp":1783545313958,"version":"3.55.0"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032262196","type":"print"},{"value":"9783032262202","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T00:00:00Z","timestamp":1779062400000},"content-version":"vor","delay-in-days":137,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Low-code platforms accelerate development of mission-critical applications, enabling users with less technical backgrounds to become proficient developers. AI-powered multi-agent systems further boost this experience. Large language models (LLMs) excel at understanding user intent, but alone cannot guarantee that design rules are followed - formal methods can provide such guarantees. We propose a hybrid approach that leverages both LLMs and a maximum satisfiability solver to generate layouts that comply with UX guidelines (e.g., widget ordering and grouping rules) while respecting user intent. We evaluate the approach in production against an LLM-only baseline.<\/jats:p>","DOI":"10.1007\/978-3-032-26220-2_27","type":"book-chapter","created":{"date-parts":[[2026,5,17]],"date-time":"2026-05-17T13:20:29Z","timestamp":1779024029000},"page":"579-584","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Verifiably UX Compliant and\u00a0User-Intent Layout Generation (Extended Abstract)"],"prefix":"10.1007","author":[{"given":"Joana","family":"Coutinho","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexandre","family":"Lemos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pedro","family":"Resende","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,5,18]]},"reference":[{"key":"27_CR1","unstructured":"Aparicio, S., et al.: Natural language to SQL in low-code platforms (2023). https:\/\/arxiv.org\/abs\/2308.15239"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Dayama, N.R., Todi, K., Saarelainen, T., Oulasvirta, A.: GRIDS: interactive layout design with integer programming. In: Conference on Human Factors in Computing Systems (CHI), pp. 1\u201313. ACM (2020)","DOI":"10.1145\/3313831.3376553"},{"issue":"1","key":"27_CR3","first-page":"53","volume":"11","author":"A Ignatiev","year":"2019","unstructured":"Ignatiev, A., Morgado, A., Marques-Silva, J.: RC2: an efficient maxsat solver. J. Satisf. Boolean Model. Comput. 11(1), 53\u201364 (2019)","journal-title":"J. Satisf. Boolean Model. Comput."},{"key":"27_CR4","doi-asserted-by":"publisher","unstructured":"Jiang, Y., Schoop, E., Swearngin, A., Nichols, J.: ILUVUI: instruction-tuned language-vision modeling of UIS from machine conversations. In: Proceedings of the 30th International Conference on Intelligent User Interfaces (IUI) (2025). https:\/\/doi.org\/10.1145\/3708359.3712129","DOI":"10.1145\/3708359.3712129"},{"key":"27_CR5","doi-asserted-by":"publisher","unstructured":"Lemos, A., Coutinho, J.: AI mentor system: building a technical debt dashboard for low code. In: International Conference on Software Maintenance and Evolution (ICSME), pp. 679\u2013684. IEEE (2025). https:\/\/doi.org\/10.1109\/ICSME64153.2025.00068","DOI":"10.1109\/ICSME64153.2025.00068"},{"key":"27_CR6","doi-asserted-by":"publisher","unstructured":"Lu, Y., et al.: Designing and developing user interfaces with AI: advancing tools, workflows, and practices. In: Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems. CHI EA (2025). https:\/\/doi.org\/10.1145\/3706599.3706736","DOI":"10.1145\/3706599.3706736"},{"key":"27_CR7","unstructured":"OpenAI: Gpt-4 technical report (2024). https:\/\/arxiv.org\/abs\/2303.08774"},{"key":"27_CR8","unstructured":"OutSystems: Mentor: AI-driven dev for turning ideas into apps fast. https:\/\/www.outsystems.com\/low-code-platform\/mentor-ai-app-generation\/. Accessed 25 Nov 2025"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Swearngin, A., Wang, C., Oleson, A., Fogarty, J., Ko, A.J.: Scout: rapid exploration of interface layout alternatives through high-level design constraints. In: Conference on Human Factors in Computing Systems (CHI), pp. 1\u201313. ACM (2020)","DOI":"10.1145\/3313831.3376593"},{"key":"27_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-319-67744-6_2","volume-title":"Human-Computer Interaction \u2013 INTERACT 2017","author":"C Zeidler","year":"2017","unstructured":"Zeidler, C., Weber, G., Stuerzlinger, W., Lutteroth, C.: Automatic generation of user interface layouts for alternative screen orientations. In: Bernhaupt, R., Dalvi, G., Joshi, A., Balkrishan, D.K., O\u2019Neill, J., Winckler, M. (eds.) INTERACT 2017. LNCS, vol. 10513, pp. 13\u201335. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67744-6_2"}],"container-title":["Lecture Notes in Computer Science","Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-26220-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T20:30:16Z","timestamp":1783542616000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-26220-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032262196","9783032262202"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-26220-2_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"18 May 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tokyo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 May 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 May 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fm2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/fm-2026","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}