This work systematically study three controllable design choices for catalog-conditioned A2UI generation: supervised fine-tuning (SFT) data construction method, model size, and component-catalog size and finds that even small models can handle and benefit from relatively large component catalog size.
Ying-Xiang Yang, Wei-Hang Xiao, Benjamin L. Bullough et al.· Proceedings of the 1st Inter...· 0 citations
Creating visually appealing user interfaces often requires extensive manual iteration. We propose an approach that applies answer set programming (ASP) to automatically generate and optimize UI layouts while satisfying design objectives such as grid alignment, grouping, color harmony, and whitespace, along with designe...
Xian-Ni Wang, Javier Romero Davila, Saku Sourulahti et al.· 0 citations
Science educators increasingly encounter AI tools that generate content, yet disciplinary teaching depends on eliciting learners' models, diagnosing misconceptions, interpreting evidence, and preserving professional judgment. This study asks how science teachers translate such epistemic work into specifications for age...
This paper uses the Korean Baseball Organization's adoption of the Automated Ball-Strike (ABS) system to audit long-standing claims about contextual bias in human ball-strike calls. Using pitch-level KBO data from 2021 through the available portion of the 2026 season, we model called-strike probability for taken pitche...
Kichang Lee, Jeonggil Ko· 1 citation
Reach audiences
Advertise in front of researchers, engineers, and readers.
Four key opportunities for human-AI collaboration in EluDA are identified: intelligent sampling and visualization to maximize data visibility; incremental and few-shot learning to minimize effort for reliable assignment; automatic category, concept, and facet suggestions to reduce effort during the search for structure...
Johannes Eschner, Dominik Eitler, Max Irendorfer et al.· Proceedings of the 14th Nord...· 0 citations
As XR matures into a ubiquitous computing platform, the disconnect between 2D and 3D input modalities remains a critical barrier to seamless workflow. Frequent transitions between the mouse for 2D precision and hand gestures for 3D manipulation induce significant physical fatigue and cognitive load. To address this, we...
Jinwook Kim, Sangmin Park, Jihyeon Lee et al.· 0 citations
Six controller-free techniques combining Gaze or Non-Dominant Hand direction setting with Ray Intersection, Relative Gain, or Drag&Hold depth setting in a user study yielded faster and more accurate spawning, lower workload, higher usability, and greater preference than Ray Intersection.
Jihyeon Lee, Ken Pfeuffer, Jinwook Kim et al.· 0 citations
Emergency Department (ED) teams coordinate shifting roles, medication decisions, and time-critical interventions under uncertainty. Augmented reality head-mounted displays (AR-HMDs) have shown potential to spatially anchor information during care, creating opportunities to examine how spatial interfaces might support t...
Jonathan Segal (Cornell University, New York, NY et al.· 0 citations
LifeSync-Games (LSG), a framework that operationalizes player signals as a Player Experience Integration Layer acting transversally across the three existing pervasive dimensions through verified real-world signals: physical activity, sleep quality, memory, and decision speed, is presented.
J. Macías-Cáceres, F. Gutiérrez-Vela, P. Paderewski-Rodriguez et al.· 0 citations
The findings prove that cBCI synergy is heavily contingent on the temporal dynamics of trust, providing a critical framework for designing dynamically gated Human-AI systems.
Christopher Baker, Stephen Hinton, Akashdeep Nijjar et al.· arXiv.org· 0 citations
Overall it can be concluded that promising UQ methods are available, but that research is needed on how people and systems may interact with an uncertainty-model in a (clinical) environment.
Ivo Pascal de Jong, A. Sburlea, M. Valdenegro-Toro· Journal of Healthcare Inform...· 8 citations
This work delivers an interpretable, privacy-by-design, edge-ready system that can provide real-time feedback during case submission to filter ungradable photo sets before review, and formalizes epidermal micro-relief as a computable biomarker of image quality.
Robert Engel· IEEE/ACM International Confe...· 0 citations
AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…
Professor Paris Smaragdis develops computers with superhuman hearing for applications like speech recognition, music understanding, and environmental monitoring.
MIT News · Artificial Intelligence· news.mit.eduOct 23, 2026
During the School of Humanities, Arts, and Social Sciences’ 75th Anniversary Symposium, President Sally Kornbluth said “MIT has never needed your particular insight and guidance more than we do now.”
MIT News · Artificial Intelligence· news.mit.eduOct 23, 2026
Assistant Professor Benjamin Lindquist studies how engineers deliberately injected randomness into early AI, giving rise to deep-learning models that sometimes hallucinate.
MIT News · Artificial Intelligence· news.mit.eduOct 22, 2026
“X-Hinges” helps design and 3D print items like lamps and gloves with an interactive twist: automatically embedded sensors that perceive and adaptively respond to human contact.
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
