Search Results

R\'{e}nyi Divergence Deep Mutual Learning

by Huang, Weipeng, Tao, Junjie, Deng, Changbo, Fan, Ming, Wan, Wenqiang, Xiong, Qi, Piao, Guangyuan
Published 2022

Lean and Full Congruence Formats for Recursion

by van Glabbeek, Rob
Published 2017

Finetuning a Kalaallisut-English machine translation system using web-crawled data

by Jones, Alex
Published 2022

Sm{\aa}prat: DialoGPT for Natural Language Generation of Swedish Dialogue by Transfer Learning

by Adewumi, Tosin, Brännvall, Rickard, Abid, Nosheen, Pahlavan, Maryam, Sabry, Sana Sabah, Liwicki, Foteini, Liwicki, Marcus
Published 2021

Ownership guided C to Rust translation

by Zhang, Hanliang, David, Cristina, Yu, Yijun, Wang, Meng
Published 2023

CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle

by El-Korashy, Akram, Tsampas, Stelios, Patrignani, Marco, Devriese, Dominique, Garg, Deepak, Piessens, Frank
Published 2020

ORCA: A Challenging Benchmark for Arabic Language Understanding

by Elmadany, AbdelRahim, Nagoudi, El Moatez Billah, Abdul-Mageed, Muhammad
Published 2022

Orca: Progressive Learning from Complex Explanation Traces of GPT-4

by Mukherjee, Subhabrata, Mitra, Arindam, Jawahar, Ganesh, Agarwal, Sahaj, Palangi, Hamid, Awadallah, Ahmed
Published 2023

ORCA: Interpreting Prompted Language Models via Locating Supporting Data Evidence in the Ocean of Pretraining Data

by Han, Xiaochuang, Tsvetkov, Yulia
Published 2022

Standardized feature extraction from pairwise conflicts applied to the train rescheduling problem

by Kopacz, Anikó, Mester, Ágnes, Kolumbán, Sándor, Csató, Lehel
Published 2022

Cross-functional Analysis of Generalisation in Behavioural Learning

by de Araujo, Pedro Henrique Luz, Roth, Benjamin
Published in Transactions of the Association for Computational Linguistics (2023)

Orca: A Few-shot Benchmark for Chinese Conversational Machine Reading Comprehension

by Chen, Nuo, Li, Hongguang, He, Junqing, Bao, Yinan, Lin, Xinshi, Yang, Qi, Liu, Jianfeng, Gan, Ruyi, Zhang, Jiaxing, Wang, Baoyuan, Li, Jia
Published 2023

Simulating the flow and trail following capabilities of harbour seal vibrissae with the Lattice Boltzmann Method

by Morrison, Helen E., Brede, Martin, Dehnhardt, Guido, Leder, Alfred
Published in Journal of Computational Science (2016)

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Weakly-Supervised Multi-Task Learning for Audio-Visual Speaker Verification

by Selvakumar, Anith, Fashandi, Homa
Published 2023

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

The Role of Ontologies in Enabling Dynamic Interoperability

by Nundloll, Vatsala, Grace, Paul, Blair, Gordon
Published 2011

The Role of Ontologies in Enabling Dynamic Interoperability

by Nundloll, Vatsala, Grace, Paul, Blair, Gordon
Published 2011