Lavril, Thibaut
10 papers on CoChat
Most cited papers
- Verified
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
- Verified
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
- Verified
Mistral 7B
Jiang, A. Q., Sablayrolles, A., Mensch, A., Bamford, C., Chaplot, D. S., Casas, D. D. L., Bressand, F., Lengyel, G., Lample, G., Saulnier, L., et al. (2023) · arXiv
Topic ModelingNatural Language Processing Techniques
Cited by 340
- Verified
Federated Learning for Keyword Spotting
Leroy, D., Coucke, A., Lavril, T., Gisselbrecht, T., & Dureau, J. (2019) · ICASSP 2019 - 2019 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)
Privacy-Preserving Technologies in DataSpeech Recognition and Synthesis
Cited by 291
- Verified
Mixtral of Experts
Jiang, A. Q., Sablayrolles, A., Roux, A., Mensch, A., Savary, B., Bamford, C., Chaplot, D. S., Casas, D. D. L., Hanna, E. B., Bressand, F., et al. (2024) · arXiv
Topic ModelingNatural Language Processing Techniques
Cited by 143
- Verified
Ministral 3
Liu, A. H., Khandelwal, K., Subramanian, S., Jouault, V., Rastogi, A., Sadé, A., Jeffares, A., Jiang, A., Cahill, A., Gavaudan, A., et al. (2026) · arXiv
Topic ModelingAdvanced Neural Network Applications
Cited by 64
- Verified
Memory-Augmented Reinforcement Learning for Image-Goal Navigation
Mezghan, L., Sukhbaatar, S., Lavril, T., Maksymets, O., Batra, D., Bojanowski, P., & Alahari, K. (2022) · 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
Reinforcement Learning in RoboticsRobotics and Sensor-Based Localization
Cited by 61
- Verified
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
- Verified
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
- Verified
Pixtral 12B
Agrawal, P., Antoniak, S., Hanna, E. B., Bout, B., Chaplot, D., Chudnovsky, J., Costa, D., De Monicault, B., Garg, S., Gervet, T., et al. (2024) · arXiv
Multimodal Machine Learning ApplicationsTopic Modeling
Cited by 8
Go further with a free account
Verify every reference, keep papers in a library, and ask questions across them.
Sign up - it is free