Mourad, Shibl

Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities

Comanici, G., Bieber, E., Schaekermann, M., Pasupat, I., Sachdeva, N., Dhillon, I., Blistein, M., Ram, O., Zhang, D., Rosen, E., et al. (2025) · arXiv

Multimodal Machine Learning ApplicationsTopic Modeling

Cited by 69

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