Orseau, Laurent
4 papers on CoChatORCID 0000-0002-0857-4039
Most cited papers
- Verified
AI Safety Gridworlds
Leike, J., Martic, M., Krakovna, V., Ortega, P. A., Everitt, T., Lefrancq, A., Orseau, L., & Legg, S. (2017) · arXiv
Reinforcement Learning in RoboticsEthics and Social Impacts of AI
Cited by 240
- Verified
Language Modeling Is Compression
Delétang, G., Ruoss, A., Duquenne, P.-A., Catt, E., Genewein, T., Mattern, C., Grau-Moya, J., Wenliang, L. K., Aitchison, M., Orseau, L., et al. (2023) · arXiv
Topic ModelingAlgorithms and Data Compression
Cited by 39
- Verified
Penalizing side effects using stepwise relative reachability
Krakovna, V., Orseau, L., Kumar, R., Martic, M., & Legg, S. (2018) · arXiv
Reinforcement Learning in RoboticsAI-based Problem Solving and Planning
Cited by 26
- Verified
Training a First-Order Theorem Prover from Synthetic Data
Firoiu, V., Aygun, E., Anand, A., Ahmed, Z., Glorot, X., Orseau, L., Zhang, L., Precup, D., & Mourad, S. (2021) · arXiv
Logic, programming, and type systemsLogic, Reasoning, and Knowledge
Cited by 15
Go further with a free account
Verify every reference, keep papers in a library, and ask questions across them.
Sign up - it is free