Francisco J. R. Ruiz - Publications, H-index & Citations

Francisco J. R. Ruiz

Google DeepMind

17H指数

51论文数

1.6K被引数

收录论文 4

发表时间

Advancing mathematics research with AI-driven formal proof search 利用人工智能驱动的形式化证明搜索推进数学研究

Science

IF45.8

2026-01-01

PREAI

George Tsoukalas; Anton Kovsharov; Sergey Shirobokov; Anja Surina; Moritz Firsching; Gergely Bérczi; Francisco J. R. Ruiz; Arun Suggala; Ascher Wagner; Eric Wieser; Lei Yu; Aja Huang; Miklós Z. Horváth; Andrew Ferrauiolo; Henryk Michalewski; Codruţ Grosu; Edward Lockhart; Thomas Hubert; Matej Balog; Pushmeet Kohli; Swarat Chaudhuri

Topic Modeling in Embedding Spaces

TRANSACTIONS OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS

IF6.9

2020-12-01

359

OAAI

Dieng, Adji B.; Ruiz, Francisco J. R.; Blei, David M.

De novo gene signature identification from single-cell RNA-seq with hierarchical Poisson factorization

MOLECULAR SYSTEMS BIOLOGY

IF7.7

2019-02-22

OAAI

Levitin, Hanna Mendes; Yuan, Jinzhou; Cheng, Yim Ling; Ruiz, Francisco J. R.; Bush, Erin C.; Bruce, Jeffrey N.; Canoll, Peter; Iavarone, Antonio; Lasorella, Anna; Blei, David M.; Sims, Peter A.

Infinite Factorial Finite State Machine for Blind Multiuser Channel Estimation

IEEE TRANSACTIONS ON COGNITIVE COMMUNICATIONS AND NETWORKING

IF7

2018-06-01

OAAI

Ruiz, Francisco J. R.; Valera, Isabel; Svensson, Lennart; Perez-Cruz, Fernando

研究方向