Is HTTP/2 really faster than HTTP/1.1? - Hugues de Saxcé; Iuniana Oprescu; Yiping Chen (INFOCOM Workshops, 2015)

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning. - Haiming Wang; Mert Unsal; Xiaohan Lin; Mantas Baksys; Junqi Liu; Marco Dos Santos; Flood Sung; Marina Vinyes; Zhenzhe Ying; Zekai Zhu; Jianqiao Lu; Hugues de Saxcé; et al. (CoRR, 2025)

Kimina Lean Server: Technical Report. - Marco Dos Santos; Haiming Wang; Hugues de Saxcé; Ran Wang; Mantas Baksys; Mert Unsal; Junqi Liu; Zhengying Liu; Jia Li (CoRR, 2025)