Dataset of Reticular Materials' Syntheses Automatically Created from PDFs by using LLMs
- 2024
- ACS Fall 2024
Bio
Bachelor's at Computer Science from UFRJ (2001), master's at Computer Science from UFF (2005) and doctorate at Computer Science from PUC-Rio (2010). I have experience in Computer Science on the following subjects: description logic, proof theory, ontology, functional programming and category theory.
Publications
Deductive Verification of LLM generated SPARQL queries
- 2024
- LREC-COLING 2024
Extracting higher-order logic formulas from English sentences
- 2023
- ICNLSP 2023
ULKB Logic: A HOL-based framework for reasoning over knowledge graphs
- 2023
- SBMF 2023
PriMeSRL-Eval: A Practical Quality Metric for Semantic Role Labeling Systems Evaluation
- Ishan Jindal
- Alexandre Rademaker
- et al.
- 2023
- EACL 2023
Semantic Parsing and Sense Tagging the Princeton WordNet Gloss Corpus
- Alexandre Rademaker
- Abhishek Basu
- et al.
- 2023
- GWC 2023
Universal Proposition Bank 2.0
- Ishan Jindal
- Alexandre Rademaker
- et al.
- 2022
- LREC 2022
On the utility of word embeddings for enriching OpenWordNet-PT
- Hugo Gonçalo Oliveira
- Fredson Silva de Souza Aguiar
- et al.
- 2021
- LDK 2021
A Universal Dependencies Corpora Maintenance Methodology Using Downstream Application
- Ran Iwamoto
- Hiroshi Kanayama
- et al.
- 2021
- NAACL 2021
The global wordnet formats: Updates for 2020
- John P. McCrae
- Michael Wayne Goodman
- et al.
- 2021
- GWC 2021
Patents
Top collaborators
GF
Guilherme Augusto Ferreira Lima
Research Scientist
VT
Viviane Torres Da Silva
Senior Research Scientist, Manager
HK
Hiroshi Kanayama
Senior Technical Staff Member, Knowledge Infrastructure, AI Technologies, IBM Research - Tokyo
RI
