Zobrazeno 1 - 10
of 24 800
pro vyhledávání: '"Hendrix AS"'
Autor:
Pernsteiner, Stuart, Diatchki, Iavor S., Dockins, Robert, Dodds, Mike, Hendrix, Joe, Ravich, Tristan, Redmond, Patrick, Scott, Ryan, Tomb, Aaron
We present Crux, a cross-language verification tool for Rust and C/LLVM. Crux targets bounded, intricate pieces of code that are difficult for humans to get right: for example, cryptographic modules and serializer / deserializer pairs. Crux builds on
Externí odkaz:
http://arxiv.org/abs/2410.18280
Autor:
Deitke, Matt, Clark, Christopher, Lee, Sangho, Tripathi, Rohun, Yang, Yue, Park, Jae Sung, Salehi, Mohammadreza, Muennighoff, Niklas, Lo, Kyle, Soldaini, Luca, Lu, Jiasen, Anderson, Taira, Bransom, Erin, Ehsani, Kiana, Ngo, Huong, Chen, YenSung, Patel, Ajay, Yatskar, Mark, Callison-Burch, Chris, Head, Andrew, Hendrix, Rose, Bastani, Favyen, VanderBilt, Eli, Lambert, Nathan, Chou, Yvonne, Chheda, Arnavi, Sparks, Jenna, Skjonsberg, Sam, Schmitz, Michael, Sarnat, Aaron, Bischoff, Byron, Walsh, Pete, Newell, Chris, Wolters, Piper, Gupta, Tanmay, Zeng, Kuo-Hao, Borchardt, Jon, Groeneveld, Dirk, Dumas, Jen, Nam, Crystal, Lebrecht, Sophie, Wittlif, Caitlin, Schoenick, Carissa, Michel, Oscar, Krishna, Ranjay, Weihs, Luca, Smith, Noah A., Hajishirzi, Hannaneh, Girshick, Ross, Farhadi, Ali, Kembhavi, Aniruddha
Today's most advanced multimodal models remain proprietary. The strongest open-weight models rely heavily on synthetic data from proprietary VLMs to achieve good performance, effectively distilling these closed models into open ones. As a result, the
Externí odkaz:
http://arxiv.org/abs/2409.17146
Autor:
Hu, Jiaheng, Hendrix, Rose, Farhadi, Ali, Kembhavi, Aniruddha, Martin-Martin, Roberto, Stone, Peter, Zeng, Kuo-Hao, Ehsani, Kiana
In recent years, the Robotics field has initiated several efforts toward building generalist robot policies through large-scale multi-task Behavior Cloning. However, direct deployments of these policies have led to unsatisfactory performance, where t
Externí odkaz:
http://arxiv.org/abs/2409.16578
Autor:
Balve, Ann-Kristin, Hendrix, Peter
Publikováno v:
Proceedings of Machine Learning Research, Vol. 248, 2024
Deep learning models have achieved promising results in breast cancer classification, yet their 'black-box' nature raises interpretability concerns. This research addresses the crucial need to gain insights into the decision-making process of convolu
Externí odkaz:
http://arxiv.org/abs/2408.13154
Autor:
Scott, Ryan G., Boston, Brett, Davis, Benjamin, Diatchki, Iavor, Dodds, Mike, Hendrix, Joe, Matichuk, Daniel, Quick, Kevin, Ravitch, Tristan, Robert, Valentin, Selfridge, Benjamin, Stefănescu, Andrei, Wagner, Daniel, Winwood, Simon
When attempting to understand the behavior of an executable, a binary analyst can make use of many different techniques. These include program slicing, dynamic instrumentation, binary-level rewriting, symbolic execution, and formal verification, all
Externí odkaz:
http://arxiv.org/abs/2407.06375
Autor:
Zeng, Kuo-Hao, Zhang, Zichen, Ehsani, Kiana, Hendrix, Rose, Salvador, Jordi, Herrasti, Alvaro, Girshick, Ross, Kembhavi, Aniruddha, Weihs, Luca
We present PoliFormer (Policy Transformer), an RGB-only indoor navigation agent trained end-to-end with reinforcement learning at scale that generalizes to the real-world without adaptation despite being trained purely in simulation. PoliFormer uses
Externí odkaz:
http://arxiv.org/abs/2406.20083
Autor:
Fuster-López, A., Cruz, J. M., Guerrero-García, P., Hendrix, E. M. T., Košir, A., Nowak, I., Oneto, L., Sirmakessis, S., Pacheco, M. F., Fernandes, F. P., Pereira, A. I.
The use of e-learning systems has a long tradition, where students can study online helped by a system. In this context, the use of recommender systems is relatively new. In our research project, we investigated various ways to create a recommender s
Externí odkaz:
http://arxiv.org/abs/2406.10245
Autor:
Sogancioglu, Ecem, van Ginneken, Bram, Behrendt, Finn, Bengs, Marcel, Schlaefer, Alexander, Radu, Miron, Xu, Di, Sheng, Ke, Scalzo, Fabien, Marcus, Eric, Papa, Samuele, Teuwen, Jonas, Scholten, Ernst Th., Schalekamp, Steven, Hendrix, Nils, Jacobs, Colin, Hendrix, Ward, Sánchez, Clara I, Murphy, Keelin
Pulmonary nodules may be an early manifestation of lung cancer, the leading cause of cancer-related deaths among both men and women. Numerous studies have established that deep learning methods can yield high-performance levels in the detection of lu
Externí odkaz:
http://arxiv.org/abs/2401.02192
Autor:
Moradi, Siyavash, Tomann, Rebecca, Hendrix, Josie, Head-Gordon, Martin, Stein, Christopher J.
We present an optimization strategy for atom-specific spin-polarization constants within the spin-polarized GFN2-xTB framework, aiming to enhance the accuracy of molecular simulations. We compare a sequential and global optimization of spin parameter
Externí odkaz:
http://arxiv.org/abs/2405.05761
Recent advancements in robotics have enabled robots to navigate complex scenes or manipulate diverse objects independently. However, robots are still impotent in many household tasks requiring coordinated behaviors such as opening doors. The factoriz
Externí odkaz:
http://arxiv.org/abs/2312.06639