Ndivhuwo Makondo - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 7 from 7

2023

Learning to Guide a Saturation-Based Theorem ProverIbrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austel, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue. pami, 45(1):738-751, 2023. [doi]

An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural RepresentationsAchille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse, Shajith Ikbal, Akihiro Kishimoto, Guilherme Lima, Ndivhuwo Makondo, Radu Marinescu 0002. IJCAI 2023: 3221-3229 [doi]

Self-Supervised Rule Learning to Link Text Segments to Relational Elements of Structured KnowledgeShajith Ikbal, Udit Sharma, Hima Karanam, Sumit Neelam, Ronny Luss, Dheeraj Sreedhar, Pavan Kapanipathi, Naweed Khan, Kyle Erwin, Ndivhuwo Makondo, Ibrahim Abdelaziz, Achille Fokoue, Alexander Gray, Maxwell Crouse, Subhajit Chaudhury, Chitra Subramanian. emnlp 2023: 1707-1718 [doi]

2021

2018

A Non-Linear Manifold Alignment Approach to Robot Learning from DemonstrationsNdivhuwo Makondo, Michihisa Hiratsuka, Benjamin Rosman, Osamu Hasegawa. jrm, 30(2):265-281, 2018. [doi]

2016

Trajectory learning from human demonstrations via manifold mappingMichihisa Hiratsuka, Ndivhuwo Makondo, Benjamin Rosman, Osamu Hasegawa. iros 2016: 3935-3940 [doi]

2015

Knowledge transfer for learning robot models via Local Procrustes AnalysisNdivhuwo Makondo, Benjamin Rosman, Osamu Hasegawa. humanoids 2015: 1075-1082 [doi]

Sign in or sign up to see more results.

runs on WebDSL