From the 7 of 50 papers with an AI index.
150 citations
- Tsinghua UniversityCN14 papers
- University of TarapacáCL13 papers
- Beihang UniversityCN12 papers
- California Institute of TechnologyUS12 papers
- Fermi National Accelerator LaboratoryUS12 papers
- Institute of Modern PhysicsCN12 papers
- Istituto Nazionale di Fisica Nucleare, Laboratori Nazionali di FrascatiIT12 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PerugiaIT12 papers
- Nanjing Normal UniversityCN12 papers
- National Centre for Nuclear ResearchPL12 papers
- Peking UniversityCN12 papers
- South China Normal UniversityCN12 papers
13 papers
Beyond Overt Reactions: Analyzing Subtle User Emotional Response to Unexpected In-Vehicle System Behavior
Huy Quyen Ngo, Suresh Kumaar Jayaraman, Brian Mok +4
Modern vehicles, with advanced AI voice and autonomous navigation features, extend beyond traditional driving but, like any autonomous system, can potentially make mistakes or beha…
Solving QBF with Counterexample Guided Refinement
Mikoláš Janota, William Klieber, Joao Marques-Silva +1
We propose two novel approaches for using Counterexample-Guided Abstraction Refinement (CEGAR) in Quantified Boolean Formula (QBF) solvers. The first approach develops a recursive…
Uncovering expert objectives in production planning via inverse optimization: An industrial case study
Shivi Dixit, Rishabh Gupta, Adam Kelloway +2
Production planning in the manufacturing industry often relies on the use of optimization models, but defining an appropriate objective function can be a challenge. In practice, pl…
Optical Anisotropy and Phase Matching in Non-Centrosymmetric Perovskite Oxides from DFT+U and DFT+U+V Functionals
Mohamed S. M. M. Ali, Ismaila Dabo
Optical anisotropy underpins the operation and performance of a broad range of photonic and quantum technologies. In this work, we critically examine the accuracy of density functi…
PromptShield Home: Ambient Multimodal Prompt Injection Defense for Smart-Home Agents
He Zhang, Feilong Li, Dingning Long +5
Smart-home assistants increasingly use multimodal large language models (MLLMs) that perceive video and audio directly. This raises a safety question specific to the home: can the…
Let it Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow
Zhengyao Lin, Yi Cai, Milijana Surbatovich
Dataflow architectures have gained renewed interest due to their balance between power efficiency and performance. In (spatial) dataflow architectures, a program is represented as…