Search Results - Rademaker, Alexandre
- Showing 1 - 4 results of 4
-
1
Towards a Brazilian History Knowledge Graph Autoría: de Paiva, Valeria, Rademaker, Alexandre
Published 2024Fuente: arXivTipo de material: PreprintAcceso al recurso -
2
Hennessy-Milner Logic in CSLib, the Lean Computer Science Library Autoría: Montesi, Fabrizio, Peressotti, Marco, Rademaker, Alexandre
Published 2026Fuente: arXivTipo de material: PreprintAcceso al recurso -
3
CSLib: The Lean Computer Science Library Autoría: Barrett, Clark, Chaudhuri, Swarat, Montesi, Fabrizio, Grundy, Jim, Kohli, Pushmeet, de Moura, Leonardo, Rademaker, Alexandre, Yingchareonthawornchai, Sorrachai
Published 2026Fuente: arXivTipo de material: PreprintAcceso al recurso -
4
Automated, LLM enabled extraction of synthesis details for reticular materials from scientific literature Autoría: da Silva, Viviane Torres, Rademaker, Alexandre, Lionti, Krystelle, Giro, Ronaldo, Lima, Geisa, Fiorini, Sandro, Archanjo, Marcelo, Carvalho, Breno W., Neumann, Rodrigo, Souza, Anaximandro, Souza, João Pedro, de Valnisio, Gabriela, Paz, Carmen Nilda, Cerqueira, Renato, Steiner, Mathias
Published 2024Fuente: arXivTipo de material: PreprintAcceso al recurso