Google AI system proves over 1200 mathematical theorems
27 views
Skip to first unread message
Joao Marcos
Apr 28, 2019, 4:01:27 PM4/28/19
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Divulgação:
https://mathscholar.org/2019/04/google-ai-system-proves-over-1200-mathematical-theorems/
O paper correspondente apareceu no arXiv há duas semanas:
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
https://arxiv.org/pdf/1904.03241.pdf
Joao Marcos
https://mathscholar.org/2019/04/google-ai-system-proves-over-1200-mathematical-theorems/
O paper correspondente apareceu no arXiv há duas semanas:
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
https://arxiv.org/pdf/1904.03241.pdf
Joao Marcos
Paulo Henrique Gomes Ferreira
May 1, 2019, 10:51:41 AM5/1/19
to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Bom dia, isto aqui também é intere
saudações,
Paulo
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjyPEE41ykRxhK1wQ1NYmS0RX6gcp-_0uw65RmWMggvvw%40mail.gmail.com.
Reply all
Reply to author
Forward
0 new messages