Martinet, Xavier

LLaMA: Open and Efficient Foundation Language Models

Touvron, H., Lavril, T., Izacard, G., Martinet, X., Lachaux, M.-A., Lacroix, T., Rozière, B., Goyal, N., Hambro, E., Azhar, F., et al. (2023) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 4,602

Llama 2: Open Foundation and Fine-Tuned Chat Models

Touvron, H., Martin, L., Stone, K., Albert, P., Almahairi, A., Babaei, Y., Bashlykov, N., Batra, S., Bhargava, P., Bhosale, S., et al. (2023) · arXiv

Artificial Intelligence in Healthcare and EducationMachine Learning in Healthcare

Cited by 2,604

HyperTree Proof Search for Neural Theorem Proving

Lample, G., Lachaux, M.-A., Lavril, T., Martinet, X., Hayat, A., Ebner, G., Rodriguez, A., & Lacroix, T. (2022) · arXiv

Logic, programming, and type systemsLogic, Reasoning, and Knowledge

Cited by 45

HyperTree Proof Search for Neural Theorem Proving

Lample, G., Lacroix, T., Lachaux, M.-A., Rodriguez, A., Hayat, A., Lavril, T., Ebner, G., & Martinet, X. (2022) · Advances in Neural Information Processing Systems 35

Logic, programming, and type systemsLogic, Reasoning, and Knowledge

Cited by 45