Zobrazeno 1 - 10
of 28 027
pro vyhledávání: '"P, Kapoor"'
Security-Enhanced Linux (SELinux) is a robust security mechanism that enforces mandatory access controls (MAC), but its policy language's complexity creates challenges for policy analysis and management. This research investigates the automation of S
Externí odkaz:
http://arxiv.org/abs/2501.00085
Fantasy sports, particularly fantasy cricket, have garnered immense popularity in India in recent years, offering enthusiasts the opportunity to engage in strategic team-building and compete based on the real-world performance of professional athlete
Externí odkaz:
http://arxiv.org/abs/2412.19215
Autor:
Kapoor, Aditya, Swamy, Sushant, Tessera, Kale-ab, Baranwal, Mayank, Sun, Mingfei, Khadilkar, Harshad, Albrecht, Stefano V.
In multi-agent environments, agents often struggle to learn optimal policies due to sparse or delayed global rewards, particularly in long-horizon tasks where it is challenging to evaluate actions at intermediate time steps. We introduce Temporal-Age
Externí odkaz:
http://arxiv.org/abs/2412.14779
Autor:
Ahamed, Sayyed Farid, Banerjee, Soumya, Roy, Sandip, Kapoor, Aayush, Vucovich, Marc, Choi, Kevin, Rahman, Abdul, Bowen, Edward, Shetty, Sachin
In the evolving landscape of machine learning (ML), Federated Learning (FL) presents a paradigm shift towards decentralized model training while preserving user data privacy. This paper introduces the concept of ``privacy drift", an innovative framew
Externí odkaz:
http://arxiv.org/abs/2412.05183
Autor:
Zhang, Changjian, Kapoor, Parv, Dardik, Ian, Cui, Leyi, Meira-Goes, Romulo, Garlan, David, Kang, Eunsuk
Temporal logic specifications play an important role in a wide range of software analysis tasks, such as model checking, automated synthesis, program comprehension, and runtime monitoring. Given a set of positive and negative examples, specified as t
Externí odkaz:
http://arxiv.org/abs/2412.02905
Autor:
Peppin, Aidan, Reuel, Anka, Casper, Stephen, Jones, Elliot, Strait, Andrew, Anwar, Usman, Agrawal, Anurag, Kapoor, Sayash, Koyejo, Sanmi, Pellat, Marie, Bommasani, Rishi, Frosst, Nick, Hooker, Sara
To accurately and confidently answer the question 'could an AI model or system increase biorisk', it is necessary to have both a sound theoretical threat model for how AI models or systems could increase biorisk and a robust method for testing that t
Externí odkaz:
http://arxiv.org/abs/2412.01946
Recent research has generated hope that inference scaling could allow weaker language models to match or exceed the accuracy of stronger models, such as by repeatedly sampling solutions to a coding problem until it passes unit tests. The central thes
Externí odkaz:
http://arxiv.org/abs/2411.17501
Autor:
Boelts, Jan, Deistler, Michael, Gloeckler, Manuel, Tejero-Cantero, Álvaro, Lueckmann, Jan-Matthis, Moss, Guy, Steinbach, Peter, Moreau, Thomas, Muratore, Fabio, Linhart, Julia, Durkan, Conor, Vetter, Julius, Miller, Benjamin Kurt, Herold, Maternus, Ziaeemehr, Abolfazl, Pals, Matthijs, Gruner, Theo, Bischoff, Sebastian, Krouglova, Nastya, Gao, Richard, Lappalainen, Janne K., Mucsányi, Bálint, Pei, Felix, Schulz, Auguste, Stefanidi, Zinovia, Rodrigues, Pedro, Schröder, Cornelius, Zaid, Faried Abu, Beck, Jonas, Kapoor, Jaivardhan, Greenberg, David S., Gonçalves, Pedro J., Macke, Jakob H.
Scientists and engineers use simulators to model empirically observed phenomena. However, tuning the parameters of a simulator to ensure its outputs match observed data presents a significant challenge. Simulation-based inference (SBI) addresses this
Externí odkaz:
http://arxiv.org/abs/2411.17337
We propose PPLqa, an easy to compute, language independent, information-theoretic metric to measure the quality of responses of generative Large Language Models (LLMs) in an unsupervised way, without requiring ground truth annotations or human superv
Externí odkaz:
http://arxiv.org/abs/2411.15320
Autor:
Barberio, E., Baroncelli, T., Bashu, V. U., Bignell, L. J., Bolognino, I., Brooks, G., Chun, S. S., Dastgiri, F., Duffy, A. R., Froehlich, M. B., Fruth, T., Fu, G., Hill, G. C., James, R. S., Janssens, K., Kapoor, S., Lane, G. J., Leaver, K. T., McGee, P., McKie, L. J., McNamara, P. C., McKenzie, J., Melbourne, W. J. D., Mews, M., Milana, G., Milligan, L. J., Mould, J., Rule, K. J., Scutti, F., Slavkovská, Z., Stanley, O., Stuchbery, A. E., Suerfu, B., Taylor, G. N., Tempra, D., Tunningly, T., Urquijo, P., Williams, A. G., Xing, Y., Zurowski, M. J.
In this Technical Design Report (TDR) we describe the SABRE South detector to be built at the Stawell Underground Physics Laboratory (SUPL). The SABRE South detector is designed to test the long-standing DAMA/LIBRA signal of an annually modulating ra
Externí odkaz:
http://arxiv.org/abs/2411.13889