Zobrazeno 1 - 10
of 7 178
pro vyhledávání: '"Finkbeiner, A"'
Autor:
Finkbeiner, Jan, Neftci, Emre
Autoregressive decoder-only transformers have become key components for scalable sequence processing and generation models. However, the transformer's self-attention mechanism requires transferring prior token projections from the main memory at each
Externí odkaz:
http://arxiv.org/abs/2410.08711
Autor:
Leroux, Nathan, Manea, Paul-Philipp, Sudarshan, Chirag, Finkbeiner, Jan, Siegel, Sebastian, Strachan, John Paul, Neftci, Emre
Transformer neural networks, driven by self-attention mechanisms, are core components of foundational and Large Language Models. In generative transformers, self-attention uses cache memory to store token projections, avoiding recomputation at each t
Externí odkaz:
http://arxiv.org/abs/2409.19315
Spiking Neural Networks (SNNs) simulators are essential tools to prototype biologically inspired models and neuromorphic hardware architectures and predict their performance. For such a tool, ease of use and flexibility are critical, but so is simula
Externí odkaz:
http://arxiv.org/abs/2409.02842
Autor:
Saydjari, Andrew K., Finkbeiner, Douglas P., Wheeler, Adam J., Holtzman, Jon A., Wilson, John C., Casey, Andrew R., Sánchez-Maes, Sophia, Brownstein, Joel R., Hogg, David W., Blanton, Michael R.
The radial velocity catalog from the Apache Point Observatory Galactic Evolution Experiment (APOGEE) is unique in its simultaneously large volume and high precision as a result of its decade-long survey duration, multiplexing (600 fibers), and spectr
Externí odkaz:
http://arxiv.org/abs/2408.07126
We study the problem of automatically repairing infinite-state software programs w.r.t. temporal hyperproperties. As a first step, we present a repair approach for the temporal logic HyperLTL based on symbolic execution, constraint generation, and sy
Externí odkaz:
http://arxiv.org/abs/2408.06035
Information flow guided synthesis is a compositional approach to the automated construction of distributed systems where the assumptions between the components are captured as information-flow requirements. Information-flow requirements are hyperprop
Externí odkaz:
http://arxiv.org/abs/2407.12298
Autor:
Schlafly, E. F., Guy, J., Honscheid, K., Kent, S., Koposov, S. E., Aguilar, J., Ahlen, S., Bailey, S., Brooks, D., Claybaugh, T., Dawson, K., Doel, P., Fanning, K., Finkbeiner, D. P., Font-Ribera, A., Forero-Romero, J. E., Gontcho, S. Gontcho A, Gutierrez, G., Kirkby, D., Kisner, T., Kremin, A., Lasker, J., Landriau, M., Guillou, L. Le, Levi, M. E., de la Macorra, A., Martini, P., Meisner, A., Miquel, R., Moustakas, J., Niz, G., Prada, F., Rossi, G., Sanchez, E., Schubnell, M., Sharples, R., Sprayberry, D., Tarlé, G., Weaver, B. A., Zou, H.
Highly-multiplexed, robotic, fiber-fed spectroscopic surveys are observing tens of millions of stars and galaxies. For many systems, accurate positioning relies on imaging the fibers in the focal plane and feeding that information back to the robotic
Externí odkaz:
http://arxiv.org/abs/2407.08026
Autor:
Emami, Razieh, Hernquist, Lars, Smith, Randall, Steiner, James F., Tremblay, Grant, Finkbeiner, Douglas, Vogelsberger, Mark, Grindlay, Josh, Marinacci, Federico, Su, Kung-Yi, Garraffo, Cecilia, Ting, Yuan-Sen, Cargile, Phillip A., Davies, Rebecca L., Benton, Chloë E., Li, Yijia, Bugiani, Letizia, Khoram, Amir H., Bose, Sownak
We undertake a comprehensive investigation into the distribution of insitu stars within Milky Way-like galaxies, leveraging TNG50 simulations and comparing their predictions with data from the H3 survey. Our analysis reveals that 28% of galaxies demo
Externí odkaz:
http://arxiv.org/abs/2407.07169
Autor:
Wixson, Troy P., Shaby, Benjamin A., Philtron, Daisy L., Consortium, International Parkinson Disease Genomics, Lima, Leandro A., Wyman, Stacia K., Kaye, Julia A., Finkbeiner, Steven
We seek to identify genes involved in Parkinson's Disease (PD) by combining information across different experiment types. Each experiment, taken individually, may contain too little information to distinguish some important genes from incidental one
Externí odkaz:
http://arxiv.org/abs/2406.05262
Autor:
Beutner, Raven, Finkbeiner, Bernd
Non-deterministic planning aims to find a policy that achieves a given objective in an environment where actions have uncertain effects, and the agent - potentially - only observes parts of the current state. Hyperproperties are properties that relat
Externí odkaz:
http://arxiv.org/abs/2405.13488