Polygames: Improved zero learning. - Tristan Cazenave; Yen-Chi Chen; Guan-Wei Chen; Shi-Yu Chen; Xian-Dong Chiu; Julien Dehos; Maria Elsa; Qucheng Gong; Hengyuan Hu; Vasil Khalidov; Cheng-Ling Li; Hsin-I Lin; et al. (J. Int. Comput. Games Assoc., 2020)

HyperTree Proof Search for Neural Theorem Proving. - Guillaume Lample; Timothée Lacroix; Marie-Anne Lachaux; Aurélien Rodriguez; Amaury Hayat; Thibaut Lavril; Gabriel Ebner; Xavier Martinet (NeurIPS, 2022)

LLaMA: Open and Efficient Foundation Language Models. - Hugo Touvron; Thibaut Lavril; Gautier Izacard; Xavier Martinet; Marie-Anne Lachaux; Timothée Lacroix; Baptiste Rozière; Naman Goyal 001; Eric Hambro; Faisal Azhar; Aurélien Rodriguez; Armand Joulin; et al. (CoRR, 2023)

Llama 2: Open Foundation and Fine-Tuned Chat Models. - Hugo Touvron; Louis Martin; Kevin Stone; Peter Albert; Amjad Almahairi; Yasmine Babaei; Nikolay Bashlykov; Soumya Batra; Prajjwal Bhargava; Shruti Bhosale; Dan Bikel; Lukas Blecher; et al. (CoRR, 2023)

WorldSense: A Synthetic Benchmark for Grounded Reasoning in Large Language Models. - Youssef Benchekroun; Megi Dervishi; Mark Ibrahim; Jean-Baptiste Gaya; Xavier Martinet; Grégoire Mialon; Thomas Scialom; Emmanuel Dupoux; Dieuwke Hupkes; Pascal Vincent (CoRR, 2023)