output
20162026
most citedSolar-powered shape-changing origami microfliers

58 citations

9 papers

cs.AI2026

VET: A Framework for Analyzing AI Discourse

Meredith Ringel Morris

Public discourse on AI has become polarized; exaggerated positions on AI in traditional and social media threaten the development of AI Literacy among the general public. In this a…

cs.LG2026

Reducing the GPU Memory Bottleneck with Lossless Compression for ML -- Extended

Aditya K Kamath, Arvind Krishnamurthy, Marco Canini +1

Machine learning (ML) training and inference often process data sets far exceeding GPU memory capacity, forcing them to rely on PCIe for on-demand tensor transfers, causing critica…

cs.OS2025

Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing

Yile Gu, Ian Neal, Jiexiao Xu +7

Crash consistency is essential for applications that must persist data. Crash-consistency testing has been commonly applied to find crash-consistency bugs in applications. The cras…

physics.soc-ph2024★ 34 cited

A global evidence map of human well-being and biodiversity co-benefits and trade-offs of natural climate solutions

Charlotte H. Chang, James T. Erbaugh, Paola Fajardo +18

Natural climate solutions (NCS) are critical for mitigating climate change through ecosystem-based carbon removal and emissions reductions. NCS implementation can also generate bio…

cs.CL2024★ 1 cited

MYTE: Morphology-Driven Byte Encoding for Better and Fairer Multilingual Language Modeling

Tomasz Limisiewicz, Terra Blevins, Hila Gonen +2

A major consideration in multilingual language modeling is how to best represent languages with diverse vocabularies and scripts. Although contemporary text encoding methods cover…

cs.RO2023★ 58 cited

Solar-powered shape-changing origami microfliers

Kyle Johnson, Vicente Arroyos, Amélie Ferran +7

Using wind to disperse microfliers that fall like seeds and leaves can help automate large-scale sensor deployments. Here, we present battery-free microfliers that can change shape…

cs.RO2021

Desk Organization: Effect of Multimodal Inputs on Spatial Relational Learning

Ryan Rowe, Shivam Singhal, Daqing Yi +2

For robots to operate in a three dimensional world and interact with humans, learning spatial relationships among objects in the surrounding is necessary. Reasoning about the state…

cs.RO2018★ 2 cited

Interaction and Autonomy in RoboCup@Home and Building-Wide Intelligence

Justin Hart, Harel Yedidsion, Yuqian Jiang +8

Efforts are underway at UT Austin to build autonomous robot systems that address the challenges of long-term deployments in office environments and of the more prescribed domestic…

cs.SE2016★ 3 cited

Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability

Andreas Katis, Grigory Fedyukovich, Andrew Gacek +3

The realizability problem in requirements engineering is to determine the existence of an implementation that meets the given formal requirements. A step forward after realizabilit…