English
Related papers

Related papers: ReDemon UI: Reactive Synthesis by Demonstration fo…

200 papers

Memory systems often organize user-agent interactions as retrievable external memory and are crucial for long-running agents by overcoming the limited context windows of LLMs. However, existing memory systems invoke LLMs to process every…

Computation and Language · Computer Science 2026-05-18 Zijie Dai , Shiyuan Deng , Sheng Guan , Yizhou Tian , Xin Yao , Xiao Yan , James Cheng

Scene Designer is a novel method for searching and generating images using free-hand sketches of scene compositions; i.e. drawings that describe both the appearance and relative positions of objects. Our core contribution is a single…

Computer Vision and Pattern Recognition · Computer Science 2021-08-18 Leo Sampaio Ferraz Ribeiro , Tu Bui , John Collomosse , Moacir Ponti

Large Language Models (LLMs) are increasingly integrated into diverse applications. The rapid evolution of LLMs presents opportunities for developers to enhance applications continuously. However, this constant adaptation can also lead to…

Information Retrieval · Computer Science 2024-09-09 Tanay Dixit , Daniel Lee , Sally Fang , Sai Sree Harsha , Anirudh Sureshan , Akash Maharaj , Yunyao Li

A central component of training in Reinforcement Learning (RL) is Experience: the data used for training. The mechanisms used to generate and consume this data have an important effect on the performance of RL algorithms. In this paper, we…

Machine Learning · Computer Science 2021-02-10 Albin Cassirer , Gabriel Barth-Maron , Eugene Brevdo , Sabela Ramos , Toby Boyd , Thibault Sottiaux , Manuel Kroiss

Joint logical-numerical reasoning remains a major challenge for language models, yet existing datasets rely on fixed rule sets and offer limited control over task complexity, constraining their generalizability for evaluation and training.…

Computation and Language · Computer Science 2025-10-14 Yiwei Liu , Yucheng Li , Xiao Li , Gong Cheng

AI-powered web agents have the potential to automate repetitive tasks, such as form filling, information retrieval, and scheduling, but they struggle to reliably execute these tasks without human intervention, requiring users to provide…

Human-Computer Interaction · Computer Science 2026-01-27 Yimeng Liu , Misha Sra , Jeevana Priya Inala , Chenglong Wang

Teaching systems physical tasks is a long standing goal in HCI, yet most prior work has focused on non collaborative physical activities. Collaborative tasks introduce added complexity, requiring systems to infer users assumptions about…

Artificial Intelligence · Computer Science 2026-04-13 Edward Kim , Daniel He , Jorge Chao , Wiktor Rajca , Mohammed Amin , Nishant Malpani , Ruta Desai , Antti Oulasvirta , Bjoern Hartmann , Sanjit Seshia

Modeling user interfaces (UIs) from visual information allows systems to make inferences about the functionality and semantics needed to support use cases in accessibility, app automation, and testing. Current datasets for training machine…

Human-Computer Interaction · Computer Science 2023-02-01 Jason Wu , Siyan Wang , Siman Shen , Yi-Hao Peng , Jeffrey Nichols , Jeffrey P. Bigham

Although HCI research papers offer valuable design insights, designers often struggle to apply them in design workflows due to difficulties in finding relevant literature, understanding technical jargon, the lack of contextualization, and…

Human-Computer Interaction · Computer Science 2026-04-28 Donghoon Shin , Bingcan Guo , Jaewook Lee , Lucy Lu Wang , Gary Hsieh

We present a method for synthesizing naturally looking images of multiple people interacting in a specific scenario. These images benefit from the advantages of synthetic data: being fully controllable and fully annotated with any type of…

Computer Vision and Pattern Recognition · Computer Science 2020-06-04 Igor Kviatkovsky , Nadav Bhonker , Gerard Medioni

We propose a method for generating video-realistic animations of real humans under user control. In contrast to conventional human character rendering, we do not require the availability of a production-quality photo-realistic 3D model of…

Computer Vision and Pattern Recognition · Computer Science 2019-05-13 Lingjie Liu , Weipeng Xu , Michael Zollhoefer , Hyeongwoo Kim , Florian Bernard , Marc Habermann , Wenping Wang , Christian Theobalt

The advent of representation learning methods enabled large performance gains on various language tasks, alleviating the need for manual feature engineering. While engineered representations are usually based on some linguistic…

Computation and Language · Computer Science 2018-10-17 Ahmad Taie , Raphael Rubino , Josef van Genabith

Building universal user representations that capture the essential aspects of user behavior is a crucial task for modern machine learning systems. In real-world applications, a user's historical interactions often serve as the foundation…

Information Retrieval · Computer Science 2025-08-12 Anton Klenitskiy , Artem Fatkulin , Daria Denisova , Anton Pembek , Alexey Vasilev

In this paper, we introduce SynthAI, a new method for the automated creation of High-Level Synthesis (HLS) designs. SynthAI integrates ReAct agents, Chain-of-Thought (CoT) prompting, web search technologies, and the Retrieval-Augmented…

Artificial Intelligence · Computer Science 2024-09-24 Seyed Arash Sheikholeslam , Andre Ivanov

Many expressive visualizations are shared online only as bitmap images, making them difficult to redesign or adapt to new data. Reusing such image-based visualizations requires substantial expertise and is often time-consuming, even for…

Human-Computer Interaction · Computer Science 2026-04-20 Xiaolin Wen , Changlin Li , Manusha Karunathilaka , Can Liu , Fangzhuo Jin , Yong Wang

Real world collection of Activities of Daily Living data is challenging due to privacy concerns, costly deployment and labeling, and the inherent sparsity and imbalance of human behavior. We present ADLGen, a generative framework…

Machine Learning · Computer Science 2025-05-26 Weihang You , Hanqi Jiang , Zishuai Liu , Zihang Xie , Tianming Liu , Jin Lu , Fei Dou

Supervised fine-tuning with synthesized instructions has been a common practice for adapting LLMs to domain-specific QA tasks. However, the synthesized instructions deviate from real user questions and expected answers. This study proposes…

Computation and Language · Computer Science 2025-02-14 Yang Li , Mingxuan Luo , Yeyun Gong , Chen Lin , Jian Jiao , Yi Liu , Kaili Huang

Reactive synthesis builds a system from a specification given as a temporal logic formula. Traditionally, reactive synthesis is defined for systems with Boolean input and output variables. Recently, new theories and techniques have been…

Logic in Computer Science · Computer Science 2021-08-03 Benedikt Maderbacher , Roderick Bloem

One of the big challenges of developing interactive statistical applications is the management of the data pipeline, which controls transformations from data to plot. The user's interactions needs to be propagated through these modules and…

Graphics · Computer Science 2014-09-26 Yihui Xie , Heike Hofmann , Xiaoyue Cheng

Software developers maintain extensive mental models of code they produce and its context, often relying on memory to retrieve or reconstruct design decisions, edge cases, and debugging experiences. These missing links and data obstruct…

Software Engineering · Computer Science 2025-04-29 Edward Misback , Erik Vank , Zachary Tatlock , Steven Tanimoto
‹ Prev 1 3 4 5 6 7 10 Next ›