Computer Science

Authors and titles for June 2024

[9451] arXiv:2406.20035 [pdf, html, other]

Title: Systematizing Modeler Experience (MX) in Model-Driven Engineering Success Stories

Reyhaneh Kalantari, Julian Oertel, Joeri Exelmans, Satrio Adi Rukmono, Vasco Amaral, Matthias Tichy, Katharina Juhnke, Jan-Philipp Steghöfer, Silvia Abrahão

Subjects: Software Engineering (cs.SE)

[9452] arXiv:2406.20037 [pdf, html, other]

Title: Explore as a Storm, Exploit as a Raindrop: On the Benefit of Fine-Tuning Kernel Schedulers with Coordinate Descent

Michael Canesche, Gaurav Verma, Fernando Magno Quintao Pereira

Comments: 22 pages, 19 figures, original work

Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL)

[9453] arXiv:2406.20038 [pdf, html, other]

Title: BioMNER: A Dataset for Biomedical Method Entity Recognition

Chen Tang, Bohao Yang, Kun Zhao, Bo Lv, Chenghao Xiao, Frank Guerin, Chenghua Lin

Subjects: Computation and Language (cs.CL)

[9454] arXiv:2406.20041 [pdf, html, other]

Title: BMW Agents -- A Framework For Task Automation Through Multi-Agent Collaboration

Noel Crawford, Edward B. Duffy, Iman Evazzade, Torsten Foehr, Gregory Robbins, Debbrata Kumar Saha, Jiya Varma, Marcin Ziolkowski

Comments: 24 pages. 21 PDF images

Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI)

[9455] arXiv:2406.20044 [pdf, html, other]

Title: Electrostatics-based particle sampling and approximate inference

Yongchao Huang

Subjects: Artificial Intelligence (cs.AI); Computation (stat.CO); Machine Learning (stat.ML)

[9456] arXiv:2406.20046 [pdf, html, other]

Title: Evaluation of autonomous systems under data distribution shifts

Daniel Sikar, Artur Garcez

Comments: 13 pages, 10 figures, 4 tables

Subjects: Machine Learning (cs.LG)

[9457] arXiv:2406.20052 [pdf, html, other]

Title: Understanding and Mitigating Language Confusion in LLMs

Kelly Marchisio, Wei-Yin Ko, Alexandre Bérard, Théo Dehaze, Sebastian Ruder

Comments: EMNLP 2024 Main Conference Camera-ready. v3: hi, ru not run for monolingual Okapi

Subjects: Computation and Language (cs.CL)

[9458] arXiv:2406.20053 [pdf, html, other]

Title: Covert Malicious Finetuning: Challenges in Safeguarding LLM Adaptation

Danny Halawi, Alexander Wei, Eric Wallace, Tony T. Wang, Nika Haghtalab, Jacob Steinhardt

Comments: 22 pages

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)

[9459] arXiv:2406.20054 [pdf, html, other]

Title: To Word Senses and Beyond: Inducing Concepts with Contextualized Language Models

Bastien Liétard, Pascal Denis, Mikaella Keller

Comments: Published in EMNLP 2024 main conference proceedings

Journal-ref: In Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, pages 2684-2696 (2024)

Subjects: Computation and Language (cs.CL)

[9460] arXiv:2406.20055 [pdf, html, other]

Title: SpotlessSplats: Ignoring Distractors in 3D Gaussian Splatting

Sara Sabour, Lily Goli, George Kopanas, Mark Matthews, Dmitry Lagun, Leonidas Guibas, Alec Jacobson, David J. Fleet, Andrea Tagliasacchi

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[9461] arXiv:2406.20056 [pdf, html, other]

Title: The Finiteness Problem for Automaton Semigroups of Extended Bounded Activity

Daniele D'Angeli, Emanuele Rodaro, Jan Philipp Wächter

Subjects: Formal Languages and Automata Theory (cs.FL); Group Theory (math.GR)

[9462] arXiv:2406.20060 [pdf, html, other]

Title: Applying RLAIF for Code Generation with API-usage in Lightweight LLMs

Sujan Dutta, Sayantan Mahinder, Raviteja Anantha, Bortik Bandyopadhyay

Subjects: Computation and Language (cs.CL)

[9463] arXiv:2406.20061 [pdf, html, other]

Title: Modeling and LQR Control of Insect Sized Flapping Wing Robot

Daksh Dhingra, Kadierdan Kaheman, Sawyer B. Fuller

Comments: The video of the results can be accessed using this http URL

Subjects: Robotics (cs.RO); Optimization and Control (math.OC)

[9464] arXiv:2406.20062 [pdf, other]

Title: Cost-aware Bayesian Optimization via the Pandora's Box Gittins Index

Qian Xie, Raul Astudillo, Peter I. Frazier, Ziv Scully, Alexander Terenin

Journal-ref: Advances in Neural Information Processing Systems, 2024

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[9465] arXiv:2406.20065 [pdf, html, other]

Title: Fully-Adaptive Dynamic Connectivity of Square Intersection Graphs

Ivor van der Hoog, André Nusser, Eva Rotenberg, Frank Staals

Comments: To appear at MFCS

Subjects: Computational Geometry (cs.CG)

[9466] arXiv:2406.20066 [pdf, html, other]

Title: ASSR-NeRF: Arbitrary-Scale Super-Resolution on Voxel Grid for High-Quality Radiance Fields Reconstruction

Ding-Jiun Huang, Zi-Ting Chou, Yu-Chiang Frank Wang, Cheng Sun

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[9467] arXiv:2406.20069 [pdf, other]

Title: Maximum Bipartite vs. Triangle-Free Subgraph

Tamio-Vesa Nakajima, Stanislav Živný

Comments: Subsumes a part of arXiv:2311.00440

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)

[9468] arXiv:2406.20071 [pdf, html, other]

Title: SAT and Lattice Reduction for Integer Factorization

Yameen Ajani, Curtis Bright

Comments: To appear in the 2024 Proceedings of the International Symposium on Symbolic and Algebraic Computation

Subjects: Cryptography and Security (cs.CR); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[9469] arXiv:2406.20072 [pdf, html, other]

Title: SHA-256 Collision Attack with Programmatic SAT

Nahiyan Alamgir, Saeed Nejati, Curtis Bright

Comments: To appear in the 2024 Proceedings of the International Workshop on Satisfiability Checking and Symbolic Computation

Subjects: Cryptography and Security (cs.CR); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[9470] arXiv:2406.20076 [pdf, html, other]

Title: EVF-SAM: Early Vision-Language Fusion for Text-Prompted Segment Anything Model

Yuxuan Zhang, Tianheng Cheng, Lianghui Zhu, Rui Hu, Lei Liu, Heng Liu, Longjin Ran, Xiaoxin Chen, Wenyu Liu, Xinggang Wang

Comments: Preprint. Update: (1) better performance and (2) versatile segmentation. Code and models are available at: this https URL

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[9471] arXiv:2406.20077 [pdf, html, other]

Title: HouseCrafter: Lifting Floorplans to 3D Scenes with 2D Diffusion Model

Hieu T. Nguyen, Yiwen Chen, Vikram Voleti, Varun Jampani, Huaizu Jiang

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[9472] arXiv:2406.20078 [pdf, html, other]

Title: GM-DF: Generalized Multi-Scenario Deepfake Detection

Yingxin Lai, Zitong Yu, Jing Yang, Bin Li, Xiangui Kang, Linlin Shen

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[9473] arXiv:2406.20079 [pdf, html, other]

Title: Molecular Facts: Desiderata for Decontextualization in LLM Fact Verification

Anisha Gunjal, Greg Durrett

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[9474] arXiv:2406.20080 [pdf, html, other]

Title: AI for Extreme Event Modeling and Understanding: Methodologies and Challenges

Gustau Camps-Valls, Miguel-Ángel Fernández-Torres, Kai-Hendrik Cohrs, Adrian Höhl, Andrea Castelletti, Aytac Pacal, Claire Robin, Francesco Martinuzzi, Ioannis Papoutsis, Ioannis Prapas, Jorge Pérez-Aracil, Katja Weigel, Maria Gonzalez-Calabuig, Markus Reichstein, Martin Rabel, Matteo Giuliani, Miguel Mahecha, Oana-Iuliana Popescu, Oscar J. Pellicer-Valero, Said Ouala, Sancho Salcedo-Sanz, Sebastian Sippel, Spyros Kondylatos, Tamara Happé, Tristan Williams

Subjects: Artificial Intelligence (cs.AI); Atmospheric and Oceanic Physics (physics.ao-ph); Geophysics (physics.geo-ph)

[9475] arXiv:2406.20081 [pdf, html, other]

Title: Segment Anything without Supervision

XuDong Wang, Jingfeng Yang, Trevor Darrell

Comments: Code: this https URL

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[9476] arXiv:2406.20083 [pdf, html, other]

Title: PoliFormer: Scaling On-Policy RL with Transformers Results in Masterful Navigators

Kuo-Hao Zeng, Zichen Zhang, Kiana Ehsani, Rose Hendrix, Jordi Salvador, Alvaro Herrasti, Ross Girshick, Aniruddha Kembhavi, Luca Weihs

Subjects: Robotics (cs.RO); Computer Vision and Pattern Recognition (cs.CV)

[9477] arXiv:2406.20085 [pdf, html, other]

Title: Auto Cherry-Picker: Learning from High-quality Generative Data Driven by Language

Yicheng Chen, Xiangtai Li, Yining Li, Yanhong Zeng, Jianzong Wu, Xiangyu Zhao, Kai Chen

Comments: Accepted to CVPR2025

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[9478] arXiv:2406.20086 [pdf, html, other]

Title: Token Erasure as a Footprint of Implicit Vocabulary Items in LLMs

Sheridan Feucht, David Atkinson, Byron Wallace, David Bau

Comments: 13 pages, 14 figures. Code and data at this https URL

Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG)

[9479] arXiv:2406.20087 [pdf, html, other]

Title: ProgressGym: Alignment with a Millennium of Moral Progress

Tianyi Qiu, Yang Zhang, Xuchuan Huang, Jasmine Xinze Li, Jiaming Ji, Yaodong Yang

Comments: NeurIPS 2024 Track on Datasets and Benchmarks (Spotlight)

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)

[9480] arXiv:2406.20092 [pdf, html, other]

Title: Efficient Large Multi-modal Models via Visual Context Compression

Jieneng Chen, Luoxin Ye, Ju He, Zhao-Yang Wang, Daniel Khashabi, Alan Yuille

Comments: NeurIPS 2024 Camera Ready; Code is available at this https URL

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[9481] arXiv:2406.20094 [pdf, html, other]

Title: Scaling Synthetic Data Creation with 1,000,000,000 Personas

Tao Ge, Xin Chan, Xiaoyang Wang, Dian Yu, Haitao Mi, Dong Yu

Comments: Work in progress

Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG)

[9482] arXiv:2406.20095 [pdf, html, other]

Title: LLaRA: Supercharging Robot Learning Data for Vision-Language Policy

Xiang Li, Cristina Mata, Jongwoo Park, Kumara Kahatapitiya, Yoo Sung Jang, Jinghuan Shang, Kanchana Ranasinghe, Ryan Burgert, Mu Cai, Yong Jae Lee, Michael S. Ryoo

Comments: ICLR 2025

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[9483] arXiv:2406.20098 [pdf, html, other]

Title: Web2Code: A Large-scale Webpage-to-Code Dataset and Evaluation Framework for Multimodal LLMs

Sukmin Yun, Haokun Lin, Rusiru Thushara, Mohammad Qazim Bhat, Yongxin Wang, Zutao Jiang, Mingkai Deng, Jinhong Wang, Tianhua Tao, Junbo Li, Haonan Li, Preslav Nakov, Timothy Baldwin, Zhengzhong Liu, Eric P. Xing, Xiaodan Liang, Zhiqiang Shen

Comments: NeurIPS 2024 Datasets and Benchmarks Camera-ready Version. Website at this https URL

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)

[9484] arXiv:2406.20099 [pdf, html, other]

Title: Odd-One-Out: Anomaly Detection by Comparing with Neighbors

Ankan Bhunia, Changjian Li, Hakan Bilen

Comments: Accepted at CVPR 2025. Codes & Dataset at this https URL

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[9485] arXiv:2406.00047 (cross-list from physics.chem-ph) [pdf, html, other]

Title: A Theoretical Framework for an Efficient Normalizing Flow-Based Solution to the Electronic Schrodinger Equation

Daniel Freedman, Eyal Rozenberg, Alex Bronstein

Comments: AAAI 2025 Camera Ready Version

Subjects: Chemical Physics (physics.chem-ph); Computational Engineering, Finance, and Science (cs.CE); Machine Learning (cs.LG); Computational Physics (physics.comp-ph)

[9486] arXiv:2406.00065 (cross-list from math.OC) [pdf, other]

Title: Parallel Redundancy Removal in lrslib with Application to Projections

David Avis, Charles Jordan

Subjects: Optimization and Control (math.OC); Computational Geometry (cs.CG); Mathematical Software (cs.MS)

[9487] arXiv:2406.00071 (cross-list from astro-ph.IM) [pdf, other]

Title: Optimizing Photometric Light Curve Analysis: Evaluating Scipy's Minimize Function for Eclipse Mapping of Cataclysmic Variables

Anoop Kumar, Madan Mohan Tito Ayyalasomayajula, Dheerendra Panwar, Yeshwanth Vasa

Subjects: Instrumentation and Methods for Astrophysics (astro-ph.IM); Solar and Stellar Astrophysics (astro-ph.SR); Machine Learning (cs.LG)

[9488] arXiv:2406.00085 (cross-list from eess.IV) [pdf, html, other]

Title: Augmentation-based Unsupervised Cross-Domain Functional MRI Adaptation for Major Depressive Disorder Identification

Yunling Ma, Chaojun Zhang, Xiaochuan Wang, Qianqian Wang, Liang Cao, Limei Zhang, Mingxia Liu

Subjects: Image and Video Processing (eess.IV); Machine Learning (cs.LG); Neurons and Cognition (q-bio.NC)

[9489] arXiv:2406.00123 (cross-list from eess.IV) [pdf, other]

Title: Correlation-aware Coarse-to-fine MLPs for Deformable Medical Image Registration

Mingyuan Meng, Dagan Feng, Lei Bi, Jinman Kim

Comments: Accepted at CVPR2024 as Oral Presentation && Best Paper Candidate

Journal-ref: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2024, pp. 9645-9654

Subjects: Image and Video Processing (eess.IV); Computer Vision and Pattern Recognition (cs.CV)

[9490] arXiv:2406.00125 (cross-list from eess.IV) [pdf, other]

Title: TotalVibeSegmentator: Full Body MRI Segmentation for the NAKO and UK Biobank

Robert Graf, Paul-Sören Platzek, Evamaria Olga Riedel, Constanze Ramschütz, Sophie Starck, Hendrik Kristian Möller, Matan Atad, Henry Völzke, Robin Bülow, Carsten Oliver Schmidt, Julia Rüdebusch, Matthias Jung, Marco Reisert, Jakob Weiss, Maximilian Löffler, Fabian Bamberg, Bene Wiestler, Johannes C. Paetzold, Daniel Rueckert, Jan Stefan Kirschke

Comments: this https URL

Subjects: Image and Video Processing (eess.IV); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[9491] arXiv:2406.00127 (cross-list from stat.ML) [pdf, html, other]

Title: Training on the Edge of Stability Is Caused by Layerwise Jacobian Alignment

Mark Lowell, Catharine Kastner

Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG)

[9492] arXiv:2406.00142 (cross-list from eess.SP) [pdf, html, other]

Title: Achieving Distributed MIMO Performance with Repeater-Assisted Cellular Massive MIMO

Sara Willhammar, Hiroki Iimori, Joao Vieira, Lars Sundström, Fredrik Tufvesson, Erik G. Larsson

Comments: Accepted to IEEE Communications Magazine

Subjects: Signal Processing (eess.SP); Information Theory (cs.IT)

[9493] arXiv:2406.00164 (cross-list from q-bio.GN) [pdf, html, other]

Title: DYNA: Disease-Specific Language Model for Variant Pathogenicity

Huixin Zhan, Zijun Zhang

Subjects: Genomics (q-bio.GN); Artificial Intelligence (cs.AI)

[9494] arXiv:2406.00166 (cross-list from nlin.CG) [pdf, html, other]

Title: On complexity of colloid cellular automata

Andrew Adamatzky, Nic Roberts, Raphael Fortulan, Noushin Raeisi Kheirabadi, Panagiotis Mougkogiannis, Michail-Antisthenis Tsompanas, Genaro J. Martinez, Georgios Ch. Sirakoulis, Alessandro Chiolerio

Subjects: Cellular Automata and Lattice Gases (nlin.CG); Emerging Technologies (cs.ET)

[9495] arXiv:2406.00183 (cross-list from physics.chem-ph) [pdf, html, other]

Title: Predicting solvation free energies with an implicit solvent machine learning potential

Sebastien Röcken, Anton F. Burnet, Julija Zavadlav

Subjects: Chemical Physics (physics.chem-ph); Machine Learning (cs.LG); Computational Physics (physics.comp-ph)

[9496] arXiv:2406.00192 (cross-list from eess.IV) [pdf, html, other]

Title: Direct Cardiac Segmentation from Undersampled K-space Using Transformers

Yundi Zhang, Nil Stolt-Ansó, Jiazhen Pan, Wenqi Huang, Kerstin Hammernik, Daniel Rueckert

Subjects: Image and Video Processing (eess.IV); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[9497] arXiv:2406.00212 (cross-list from eess.IV) [pdf, html, other]

Title: MVAD: A Multiple Visual Artifact Detector for Video Streaming

Chen Feng, Duolikun Danier, Fan Zhang, Alex Mackin, Andrew Collins, David Bull

Comments: Paper has been accpeted by WACV 2025

Subjects: Image and Video Processing (eess.IV); Computer Vision and Pattern Recognition (cs.CV)

[9498] arXiv:2406.00237 (cross-list from eess.IV) [pdf, html, other]

Title: A Comparative Study of CNN, ResNet, and Vision Transformers for Multi-Classification of Chest Diseases

Ananya Jain, Aviral Bhardwaj, Kaushik Murali, Isha Surani

Comments: 8 pages, 6 figures

Subjects: Image and Video Processing (eess.IV); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[9499] arXiv:2406.00243 (cross-list from math.CO) [pdf, html, other]

Title: There are no good infinite families of toric codes

Jason P. Bell, Sean Monahan, Matthew Satriano, Karen Situ, Zheng Xie

Comments: 10 pages. Published: "Journal of Combinatorial Theory, Series A"

Journal-ref: (2025) Journal of Combinatorial Theory, Series A; Vol. 213; pp. 106009

Subjects: Combinatorics (math.CO); Information Theory (cs.IT); Algebraic Geometry (math.AG)

[9500] arXiv:2406.00260 (cross-list from math.OC) [pdf, html, other]

Title: Greedy Learning to Optimize with Convergence Guarantees

Patrick Fahy, Mohammad Golbabaee, Matthias J. Ehrhardt

Comments: 28 pages, 13 figures

Subjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)