Lima, Guilherme

1. A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases
   2022/01/15 by Sumit Neelam, Udit Sharma, Neelam, Sumit +47 · 2 citations
   Computer Science · #Topic Modeling #Natural Language Processing Techniques #Semantic Web and Ontologies
2. An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
   2023/05/15 by Achille Fokoue, Fokoue, Achille, Ibrahim Abdelaziz +13 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Semantic Web and Ontologies #Topic Modeling
3. Accelerating detector simulations with Celeritas: profiling and performance optimizations
   2025/03/22 by Lund, Amanda L., Esseiva, Julien, Johnson, Seth R. +8 · 1 citation
   #Computational Physics (physics.comp-ph) #FOS: Physical sciences