Zobrazeno 1 - 10
of 50 905
pro vyhledávání: '"Leandro, P."'
Layer pruning offers a promising alternative to standard structured pruning, effectively reducing computational costs, latency, and memory footprint. While notable layer-pruning approaches aim to detect unimportant layers for removal, they often rely
Externí odkaz:
http://arxiv.org/abs/2411.14345
Publikováno v:
Integrated Formal Methods, IFM 2024, LNCS 15234 (2025), pp 24-34
TLA+ is a formal specification language used for designing, modeling, documenting, and verifying systems through model checking. Despite significant interest from the research community, knowledge about usage of the TLA+ ecosystem in practice remains
Externí odkaz:
http://arxiv.org/abs/2411.13722
We calculate the mass renormalization for massive Dirac-like systems in (2+1)D due to the electron-phonon interaction at finite temperatures within the large-$N$ expansion. Our model combines the low-energy limit of charge carriers in a buckled honey
Externí odkaz:
http://arxiv.org/abs/2411.10621
Autor:
Duran-Martin, Gerardo, Sánchez-Betancourt, Leandro, Shestopaloff, Alexander Y., Murphy, Kevin
We propose a unifying framework for methods that perform Bayesian online learning in non-stationary environments. We call the framework BONE, which stands for (B)ayesian (O)nline learning in (N)on-stationary (E)nvironments. BONE provides a common str
Externí odkaz:
http://arxiv.org/abs/2411.10153
Autor:
Xing, Shuwei, Mirzaei, Mateen, Xia, Wenyao, Ahmed-Fazal, Inaara, Pardasani, Utsav, Jarayathne, Uditha, Illsley, Scott, Leite, Leandro Cardarelli, Fenster, Aaron, Peters, Terry M., Chen, Elvis C. S.
The 2D projective nature of X-ray radiography presents significant limitations in fluoroscopy-guided interventions, particularly the loss of depth perception and prolonged radiation exposure. Integrating magnetic trackers into these workflows is prom
Externí odkaz:
http://arxiv.org/abs/2411.07495
We prove that if $ T $ is a semi-special tree that is not special, then there exists a graph $ G $, formed as an inflation of a sparse $ T $-graph, such that for any special tree $ S $, $ G $ is not a subdivision of an inflation of an sparse $ S $-gr
Externí odkaz:
http://arxiv.org/abs/2411.05241
Collective modes are coherent excitations in Bose-Einstein condensates (BECs), and their study provides insight into the macroscopic quantum phenomena that govern these systems. Collective mode frequencies can be used to probe the properties of BECs,
Externí odkaz:
http://arxiv.org/abs/2411.03939
Building energy modeling plays a vital role in optimizing the operation of building energy systems by providing accurate predictions of the building's real-world conditions. In this context, various techniques have been explored, ranging from traditi
Externí odkaz:
http://arxiv.org/abs/2411.01055
Lagrangian Neural Networks (LNNs) are a powerful tool for addressing physical systems, particularly those governed by conservation laws. LNNs can parametrize the Lagrangian of a system to predict trajectories with nearly conserved energy. These techn
Externí odkaz:
http://arxiv.org/abs/2411.00110
Autor:
Wei, Yuxiang, Cassano, Federico, Liu, Jiawei, Ding, Yifeng, Jain, Naman, Mueller, Zachary, de Vries, Harm, von Werra, Leandro, Guha, Arjun, Zhang, Lingming
Instruction tuning is a supervised fine-tuning approach that significantly improves the ability of large language models (LLMs) to follow human instructions. We propose SelfCodeAlign, the first fully transparent and permissive pipeline for self-align
Externí odkaz:
http://arxiv.org/abs/2410.24198