VizAbility: Enhancing Chart Accessibility with LLM-based Conversational Interaction by Gorniak, Joshua, Kim, Yoon, Wei, Donglai, Kim, Nam Wook

Get full text

Specification and Verification of Strong Timing Isolation of Hardware Enclaves by Lau, Stella, Bourgeat, Thomas, Pit-Claudel, Cl?ment, Chlipala, Adam

Get full text

Judging facts, judging norms: Training machine learning models to judge humans requires a modified approach to labeling data by Balagopalan, Aparna, Madras, David, Yang, David H., Hadfield-Menell, Dylan, Hadfield, Gillian K., Ghassemi, Marzyeh

Get full text

Cage Molecules Stabilize Lead Halide Perovskite Thin Films by Sun, Shijing, Liu, Ming, Thapa, Janak, Hartono, Noor Titan Putri, Zhao, Yicheng, He, Donglin, Wieghold, Sarah, Chua, Matthew, Wu, Yue, Bulović, Vladimir, Ling, Sanliang, Brabec, Christoph J., Cooper, Andrew I., Buonassisi, Tonio

Get full text

Pressure dependence of resistivity and magnetic properties in a Mn1.9Cr0.1Sb alloy by Sharma, Vinay, Chanda, Amit, Mahendiran, R., Ramanujan, Raju Vijayaraghavan, Repaka, Durga Venkata Maheswar

Get full text
Get full text

Opening the AI Black Box: Distilling Machine-Learned Algorithms into Code by Michaud, Eric J., Liao, Isaac, Lad, Vedang, Liu, Ziming, Mudide, Anish, Loughridge, Chloe, Guo, Zifan Carl, Kheirkhah, Tara Rezaei, Vukelić, Mateja, Tegmark, Max

Get full text

Understanding electrostatic interaction on strong cation-exchanger via co-ion valency effects by Essert, GM, de Souza, JP, Schwaminger, SP, Bazant, MZ, Berensmeier, S

Get full text

Characterization of superconducting through-silicon vias as capacitive elements in quantum circuits by Hazard, TM, Woods, W, Rosenberg, D, Das, R, Hirjibehedin, CF, Kim, DK, Knecht, JM, Mallek, J, Melville, A, Niedzielski, BM, Serniak, K, Sliwa, KM, Yost, DRW, Yoder, JL, Oliver, WD, Schwartz, ME

Get full text

Understanding natural language commands for robotic navigation and mobile manipulation by Tellex, Stefanie A., Kollar, Thomas Fleming, Dickerson, Steven R., Walter, Matthew R., Banerjee, Ashis, Teller, Seth, Roy, Nicholas

Get full text
Get full text

Opening Up the Distinguisher: A Hardness to Randomness Approach for BPL=L That Uses Properties of BPL by Doron, Dean, Pyne, Edward, Tell, Roei

Get full text

Permanent Magnet Hybrid Core Inductors for High Saturation Capability by Yang, Rachel S., Nadler, Andrew B., Sullivan, Charles R., Perreault, David J.

Get full text

"How fancy you are to make us use your fancy tool": Coordinating Individuals' Tool Preference over Group Boundaries by Zhang, Qianqia (Queenie), Park, Soya, Muller, Michael, Karger, David R.

Get full text

Doodlebot: An Educational Robot for Creativity and AI Literacy by Williams, Randi, Ali, Safinah, Alcantara, Raúl, Burghleh, Tasneem, Alghowinem, Sharifa, Breazeal, Cynthia

Get full text

Distributions for Compositionally Differentiating Parametric Discontinuities by Michel, Jesse, Mu, Kevin, Yang, Xuanda, Bangaru, Sai Praveen, Collins, Elias Rojas, Bernstein, Gilbert, Ragan-Kelley, Jonathan, Carbin, Michael, Li, Tzu-Mao

Get full text

Harnessing Quantum Capacitance in 2D Material/Molecular Layer Junctions for Novel Electronic Device Functionality by Papnai, Bhartendu, Chen, Ding-Rui, Ghosh, Rapti, Yen, Zhi-Long, Chen, Yu-Xiang, Rehman, Khalil Ur, Chen, Hsin-Yi Tiffany, Hsieh, Ya-Ping, Hofmann, Mario

Get full text

Cryptography in the Wild: An Empirical Analysis of Vulnerabilities in Cryptographic Libraries by Blessing, Jenny, Specter, Michael A., Weitzner, Daniel J.

Get full text

SURF: Eavesdropping on Underwater Communications from the Air by Mollahosseini, Poorya, Afzal, Sayed Saad, Adib, Fadel, Ghasempour, Yasaman

Get full text

Hermes: Boosting the Performance of Machine-Learning-Based Intrusion Detection System through Geometric Feature Learning by Zhang, Chaoyu, Shi, Shanghao, Wang, Ning, Xu, Xiangxiang, Li, Shaoyu, Zheng, Lizhong, Marchany, Randy, Gardner, Mark, Hou, Y. Thomas, Lou, Wenjing

Get full text

G-VOILA: Gaze-Facilitated Information Querying in Daily Scenarios by Wang, Zeyu, Shi, Yuanchun, Wang, Yuntao, Yao, Yuchen, Yan, Kun, Wang, Yuhan, Ji, Lei, Xu, Xuhai, Yu, Chun

Get full text

Mechanised Hypersafety Proofs about Structured Data by Gladshtein, Vladimir, Zhao, Qiyuan, Ahrens, Willow, Amarasinghe, Saman, Sergey, Ilya

Get full text