:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kim, Edward, Cho, Yuri, Lima, Jose Eduardo E., Muccini, Julie, Jindal, Jenelle, Scheid, Alison, Nelson, Erik, Park, Seong Hyun, Zeng, Yuchen, Sturgis, Alton, Li, Caesar, Dai, Jackie, Kim, Sun Min, Prakash, Yash, Sun, Liwen, Hu, Isabella, Wu, Hongxuan, He, Daniel, Rajca, Wiktor, Halabi, Cathra, Lansberg, Maarten, Hartmann, Bjoern, Seshia, Sanjit A.
Format:	Preprint
Published:	2025
Subjects:	Human-Computer Interaction Artificial Intelligence
Online Access:	https://arxiv.org/abs/2511.18274
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Interactive Program Synthesis for Modeling Collaborative Physical Activities from Narrated Demonstrations
by: Kim, Edward, et al.
Published: (2025)

SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns
by: Godbole, Adwait, et al.
Published: (2024)

A Collaborative Rehabilitation-Exercise Serious Game for People with Stroke and their Caregivers: A Pilot Study
by: Vasquez, Elizabeth D., et al.
Published: (2026)

Acessibilidade como um campo transdisciplinar de estágio: práticas disruptivas e inventivas na formação universitária
by: Patrícia Muccini
Published: (2025)

Artifact: PyCaliper: Python-embedded Infrastructure for RTL Verification and Specification Synthesis
by: Godbole, Adwait, et al.
Published: (2025)

Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
by: Yalcinkaya, Beyazit, et al.
Published: (2024)

Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning
by: Yalcinkaya, Beyazit, et al.
Published: (2025)

Learning Formal Specifications from Membership and Preference Queries
by: Shah, Ameesh, et al.
Published: (2023)

New research on the relationship of fats, blood cholesterol and heart disease
by: Sturgis, H.O.
Published: (1958)

Fish oils and proteins: their contributions to the world’s feed supply
by: Sturgis, H.O.
Published: (1955)

Querying Labeled Time Series Data with Scenario Programs
by: Kim, Edward, et al.
Published: (2025)

Verified Code Transpilation with LLMs
by: Bhatia, Sahil, et al.
Published: (2024)

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
by: Shetty, Manish, et al.
Published: (2024)

Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
by: Joshi, Aniruddha, et al.
Published: (2025)

Learning Symbolic Task Decompositions for Multi-Agent Teams
by: Shah, Ameesh, et al.
Published: (2025)

Seeing the Whole Picture: Distribution-Guided Data-Free Distillation for Semantic Segmentation
by: Sun, Hongxuan, et al.
Published: (2025)

Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning
by: Yalcinkaya, Beyazit, et al.
Published: (2025)

SimpleStrat: Diversifying Language Model Generation with Stratification
by: Wong, Justin, et al.
Published: (2024)

DATCloud: A Model-Driven Framework for Multi-Layered Data-Intensive Architectures
by: Abughazala, Moamin, et al.
Published: (2025)

Context-Aided Variable Elimination for Requirement Engineering
by: Incer, Inigo, et al.
Published: (2023)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
by: Vin, Eric, et al.
Published: (2025)

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)
by: Qiu, Jie, et al.
Published: (2024)

GRAID: Enhancing Spatial Reasoning of VLMs Through High-Fidelity Data Generation
by: Elmaaroufi, Karim, et al.
Published: (2025)

$L^*LM$: Learning Automata from Examples using Natural Language Oracles
by: Vazquez-Chanlatte, Marcell, et al.
Published: (2024)

Robust and Diverse Multi-Agent Learning via Rational Policy Gradient
by: Lauffer, Niklas, et al.
Published: (2025)

LTL-Constrained Policy Optimization with Cycle Experience Replay
by: Shah, Ameesh, et al.
Published: (2024)

Learning Affordances at Inference-Time for Vision-Language-Action Models
by: Shah, Ameesh, et al.
Published: (2025)

Zero-Shot Clinical Trial Patient Matching with LLMs
by: Wornow, Michael, et al.
Published: (2024)

REST-HANDS: Rehabilitation with Egocentric Vision Using Smartglasses for Treatment of Hands after Surviving Stroke
by: Mucha, Wiktor, et al.
Published: (2024)

Master Clinician Editorial
by: Myron Nevins, et al.
Published: (2025)

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios
by: Chang, Kevin Kai-Chun, et al.
Published: (2026)

Learning Contextual Runtime Monitors for Safe AI-Based Autonomy
by: Luque-Cerpa, Alejandro, et al.
Published: (2026)

Becoming Organic: Nature and Agriculture in the Indian Himalaya
by: Seshia Galvin, Shaila
Published: (2024)

1-2-3 Check: Enhancing Contextual Privacy in LLM via Multi-Agent Reasoning
by: Li, Wenkai, et al.
Published: (2025)

Survey Experience and Nonresponse in an Online Probability Panel: A Survival Analysis
by: Kostadintcheva, Katya, et al.
Published: (2025)

Experimental overview of electromagnetic radiation in heavy-ion collisions
by: Scheid, Sebastian
Published: (2025)

Agravos Relacionados ao Trabalho como causa de Internações Hospitalares
by: Rafaela Scheid
Published: (2012)

Oligocene/Miocene macroflora of Baltersweil (Germany)
by: Scheid, Walther
Published: (2004)

Miocene macroflora of Buehl (Germany)
by: Scheid, Walther
Published: (2004)

Miocene macroflora of Dettighofen (Germany)
by: Scheid, Walther
Published: (2004)