Lean 4
Categoria:Academic researchPreços: Grátis
Descrição
Um provador interativo de teoremas e uma linguagem de programação funcional, servindo como infraestrutura central para pesquisa formal em IA e prova automática de teoremas (por exemplo, AlphaProof, DeepSeek-Prover).
Ferramentas relacionadas
AMiner
Plataforma de pesquisa acadêmica e inteligência tecnológica com IA, oferecendo busca de artigos, busca de patentes, rastreamento de literatura e perfis de estudiosos.
GrátisVisitar →
alphaxiv
Uma comunidade de discussão acadêmica aberta baseada na plataforma arXiv que permite aos usuários comentar linha por linha, fazer perguntas e interagir em tempo real substituindo o domínio do link do artigo (arxiv.org por alphaxiv.org) diretamente na página do artigo. E fornece recursos de IA como Ask AI e blogs de artigos gerados por IA.
GrátisVisitar →