Gemma: Open Models Based on Gemini Research and Technology

Autor: Gemma Team, Mesnard, Thomas, Hardin, Cassidy, Dadashi, Robert, Bhupatiraju, Surya, Pathak, Shreya, Sifre, Laurent, Rivière, Morgane, Kale, Mihir Sanjay, Love, Juliette, Tafti, Pouya, Hussenot, Léonard, Sessa, Pier Giuseppe, Chowdhery, Aakanksha, Roberts, Adam, Barua, Aditya, Botev, Alex, Castro-Ros, Alex, Slone, Ambrose, Héliou, Amélie, Tacchetti, Andrea, Bulanova, Anna, Paterson, Antonia, Tsai, Beth, Shahriari, Bobak, Lan, Charline Le, Choquette-Choo, Christopher A., Crepy, Clément, Cer, Daniel, Ippolito, Daphne, Reid, David, Buchatskaya, Elena, Ni, Eric, Noland, Eric, Yan, Geng, Tucker, George, Muraru, George-Christian, Rozhdestvenskiy, Grigory, Michalewski, Henryk, Tenney, Ian, Grishchenko, Ivan, Austin, Jacob, Keeling, James, Labanowski, Jane, Lespiau, Jean-Baptiste, Stanway, Jeff, Brennan, Jenny, Chen, Jeremy, Ferret, Johan, Chiu, Justin, Mao-Jones, Justin, Lee, Katherine, Yu, Kathy, Millican, Katie, Sjoesund, Lars Lowe, Lee, Lisa, Dixon, Lucas, Reid, Machel, Mikuła, Maciej, Wirth, Mateo, Sharman, Michael, Chinaev, Nikolai, Thain, Nithum, Bachem, Olivier, Chang, Oscar, Wahltinez, Oscar, Bailey, Paige, Michel, Paul, Yotov, Petko, Chaabouni, Rahma, Comanescu, Ramona, Jana, Reena, Anil, Rohan, McIlroy, Ross, Liu, Ruibo, Mullins, Ryan, Smith, Samuel L, Borgeaud, Sebastian, Girgin, Sertan, Douglas, Sholto, Pandya, Shree, Shakeri, Siamak, De, Soham, Klimenko, Ted, Hennigan, Tom, Feinberg, Vlad, Stokowiec, Wojciech, Chen, Yu-hui, Ahmed, Zafarali, Gong, Zhitao, Warkentin, Tris, Peran, Ludovic, Giang, Minh, Farabet, Clément, Vinyals, Oriol, Dean, Jeff, Kavukcuoglu, Koray, Hassabis, Demis, Ghahramani, Zoubin, Eck, Douglas, Barral, Joelle, Pereira, Fernando, Collins, Eli, Joulin, Armand, Fiedel, Noah, Senter, Evan, Andreev, Alek, Kenealy, Kathleen

This work introduces Gemma, a family of lightweight, state-of-the art open models built from the research and technology used to create Gemini models. Gemma models demonstrate strong performance across academic benchmarks for language understanding,

Externí odkaz: http://arxiv.org/abs/2403.08295

Magnushammer: A Transformer-Based Approach to Premise Selection

Autor: Mikuła, Maciej, Tworkowski, Szymon, Antoniak, Szymon, Piotrowski, Bartosz, Jiang, Albert Qiaochu, Zhou, Jin Peng, Szegedy, Christian, Kuciński, Łukasz, Miłoś, Piotr, Wu, Yuhuai

This paper presents a novel approach to premise selection, a crucial reasoning task in automated theorem proving. Traditionally, symbolic methods that rely on extensive domain knowledge and engineering effort are applied to this task. In contrast, th

Externí odkaz: http://arxiv.org/abs/2303.04488

'Dziedzictwo prawne. Spotkania naukowe'. Sprawozdanie z posiedzeń naukowych w roku akademickim 2021/2022 / 'Dziedzictwo prawne. Spotkania naukowe'. Sprawozdanie z posiedzeń naukowych w roku akademickim 2021/2022

Autor: Halberda, Jan, Mikuła, Maciej, Wasik, Izabela

Publikováno v: Krakowskie Studia z Historii Państwa i Prawa / Cracow Studies of Consitutional and Legal History. 15(4):621-624

Externí odkaz: https://www.ceeol.com/search/article-detail?id=1130050

Badania naukowe w zakresie historii prawa kościelnego i historii prawa wyznaniowego na Wydziale Prawa i Administracji Uniwersytetu Jagiellońskiego w latach 2000–2020 / Research on the History of Church Law and the History of Law on Religion at the Faculty of Law and Administration of the Jagiellonian University in the years 2000-2020

Autor: Mikuła, Maciej, Zarzycki, Zdzisław

Publikováno v: Studia z Prawa Wyznaniowego / Studies in Law on Religion. (24):229-253

Externí odkaz: https://www.ceeol.com/search/article-detail?id=1003610

'Dziedzictwo prawne. Spotkania naukowe'. Sprawozdanie z posiedzeń naukowych w roku akademickim 2020/2021 / 'Legal Heritage: Scholarly Meetings.' Report on Scholarly Meetings in the Academic Year 2020/2021

Autor: Mikuła, Maciej, Wasik, Izabela

Publikováno v: Krakowskie Studia z Historii Państwa i Prawa / Cracow Studies of Consitutional and Legal History. 14(4):611-615

Externí odkaz: https://www.ceeol.com/search/article-detail?id=1037870