- Suyuchen Wang, Ivan Kobyzev, Peng Lu, Mehdi Rezagholizadeh, Bang Liu:
Resonance RoPE: Improving Context Length Generalization of Large Language Models. CoRR abs/2403.00071 (2024) - Niels van der Laan, Mitchell R. Cohen, Jonathan Arsenault, James Richard Forbes:
The Invariant Rauch-Tung-Striebel Smoother. CoRR abs/2403.00075 (2024) - Mitchell R. Cohen, James Richard Forbes:
Navigation and Control of Unconventional VTOL UAVs in Forward-Flight with Explicit Wind Velocity Estimation. CoRR abs/2403.00076 (2024) - Joshua Z. Tan, Max Langenkamp, Anna Weichselbraun, Ann Brody, Lucia M. Korpas:
The Constitutions of Web3. CoRR abs/2403.00081 (2024) - Alessandro Cimatti, Alberto Griggio, Gianluca Redondi:
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking. CoRR abs/2403.00087 (2024) - Deepika Badampudi, Michael Unterkalmsteiner, Ricardo Britto:
Modern Code Reviews - Survey of Literature and Practice. CoRR abs/2403.00088 (2024) - Tianyi Zhang, Li Zhang, Zhaoyi Hou, Ziyu Wang, Yuling Gu, Peter Clark, Chris Callison-Burch, Niket Tandon:
PROC2PDDL: Open-Domain Planning Representations from Texts. CoRR abs/2403.00092 (2024) - Neil Zhao, Diana Zheng:
Solving Jigsaw Puzzles using Iterative Random Sampling: Parallels with Development of Skill Mastery. CoRR abs/2403.00095 (2024) - David Danks, Rada Mihalcea, Katie Siek, Mona Singh, Brian Dixon, Haley Griffin:
Future of Pandemic Prevention and Response CCC Workshop Report. CoRR abs/2403.00096 (2024) - Gorav Jindal, Joël Ouaknine:
On the Counting Complexity of the Skolem Problem. CoRR abs/2403.00098 (2024) - Waleed Abdeen, Xingru Chen, Michael Unterkalmsteiner:
An approach for performance requirements verification and test environments generation. CoRR abs/2403.00099 (2024) - Chester Holtz, Yucheng Wang, Chung-Kuan Cheng, Bill Lin:
On Robustness and Generalization of ML-Based Congestion Predictors to Valid and Imperceptible Perturbations. CoRR abs/2403.00103 (2024) - Alexander Asemota, Giles Hooker:
Longitudinal Counterfactuals: Constraints and Opportunities. CoRR abs/2403.00105 (2024) - Jonathan Zong, Isabella Pedraza Pineros, Mengzhu Katie Chen, Daniel Hajas, Arvind Satyanarayan:
Umwelt: Accessible Structured Editing of Multimodal Data Representations. CoRR abs/2403.00106 (2024) - Yurui Huang, Xuesen Cheng, Chaolin Tian, Xunyi Jiang, Langtian Ma, Yifang Ma:
Talent hat, cross-border mobility, and career development in China. CoRR abs/2403.00107 (2024) - Hongyi Liu, Zirui Liu, Ruixiang Tang, Jiayi Yuan, Shaochen Zhong, Yu-Neng Chuang, Li Li, Rui Chen, Xia Hu:
LoRA-as-an-Attack! Piercing LLM Safety Under The Share-and-Play Scenario. CoRR abs/2403.00108 (2024) - Michael Unterkalmsteiner, Waleed Abdeen:
A compendium and evaluation of taxonomy quality attributes. CoRR abs/2403.00111 (2024) - Markus Bläser, Julian Dörfler, Gorav Jindal:
PosSLP and Sum of Squares. CoRR abs/2403.00115 (2024) - Ethan Blaser, Chuanhao Li, Hongning Wang:
Federated Linear Contextual Bandits with Heterogeneous Clients. CoRR abs/2403.00116 (2024) - Maria Emelianenko
, Guy B. Oldaker IV:
On the Optimality of CVOD-based Column Selection. CoRR abs/2403.00121 (2024) - Jonathan B. VanGeest, Kieran J. Fogarty, William G. Hervey, Robert A Hanson, Suresh Nair, Timothy A Akers:
Quantum Readiness in Healthcare and Public Health: Building a Quantum Literate Workforce. CoRR abs/2403.00122 (2024) - Jan Jaskowiec, N. Sukumar:
Penalty-free discontinuous Galerkin method. CoRR abs/2403.00125 (2024) - Xiaoqiang Wang, Bang Liu, Lingfei Wu:
FAC2E: Better Understanding Large Language Model Capabilities by Dissociating Language and Cognition. CoRR abs/2403.00126 (2024) - Sui He:
Prompting ChatGPT for Translation: A Comparative Analysis of Translation Brief and Persona Prompts. CoRR abs/2403.00127 (2024) - Bryan Habas, Bo Cheng:
From Flies to Robots: Inverted Landing in Small Quadcopters with Dynamic Perching. CoRR abs/2403.00128 (2024) - Amartya Shankha Biswas, Ruidi Cao, Edward Pyne, Ronitt Rubinfeld:
Average-Case Local Computation Algorithms. CoRR abs/2403.00129 (2024) - Shanghua Gao, Teddy Koker, Owen Queen, Thomas Hartvigsen, Theodoros Tsiligkaridis, Marinka Zitnik:
UniTS: Building a Unified Time Series Model. CoRR abs/2403.00131 (2024) - Justin Kalloor, Mathias Weiden, Ed Younis, John Kubiatowicz, Bert De Jong, Costin Iancu:
Quantum Hardware Roofline: Evaluating the Impact of Gate Expressivity on Quantum Processor Design. CoRR abs/2403.00132 (2024) - Georges Dupret, Konstantin Sozinov, Carmen Barcena Gonzalez, Ziggy Zacks, Amber Yuan, Benjamin A. Carterette, Manuel Mai, Shubham Bansal, Gwo Liang Lien, Andrey Gatash, Roberto Sanchis-Ojeda, Mounia Lalmas:
ForTune: Running Offline Scenarios to Estimate Impact on Business Metrics. CoRR abs/2403.00133 (2024) - Tao Jiang, Wei Yu:
Active Sensing for Reciprocal MIMO Channels. CoRR abs/2403.00134 (2024)