Research author

Francisco J. R. Ruiz

2 AI research papers in the One9Founders library, with summaries and links to original sources.

Papers by Francisco J. R. Ruiz

Aug 17, 2026
cs.DS

Improving the matrix multiplication exponent with modern optimization and AlphaEvolve

Emilien Dupont, Marvin Eisenberger, Borislav Kozlovskii, et al.

12
May 21, 2026
cs.AI

Advancing Mathematics Research with AI-Driven Formal Proof Search

George Tsoukalas, Anton Kovsharov, Sergey Shirobokov, et al.

Francisco J. R. Ruiz — AI Research Papers | One9Founders