Mahdi Bu Ali

{
  "@context": {
    "schema": "https://schema.org/",
    "foaf": "http://xmlns.com/foaf/0.1/",
    "prov": "http://www.w3.org/ns/prov#",
    "dct": "http://purl.org/dc/terms/",
    "borg": "https://borg.kaust.edu.sa/kg/ns/",
    "borg-id": "https://borg.kaust.edu.sa/kg/",
    "owl": "http://www.w3.org/2002/07/owl#"
  },
  "@id": "https://leechuck.de/kg-browser/id/person/mahdi-bu-ali",
  "@type": "foaf:Person",
  "owl:sameAs": {
    "@id": "https://borg.kaust.edu.sa/kg/person/mahdi-bu-ali"
  },
  "foaf:name": "Mahdi Bu Ali",
  "foaf:givenName": "Mahdi",
  "foaf:familyName": "Bu Ali",
  "borg:position": "MSc (alumnus)",
  "borg:thesisTitle": "Automated Theorem Proving with Large Language Models in Lean: An Exploration of Specialized In-Context Learning and General-Purpose Hierarchical Architectures",
  "borg:thesisFile": "mahdi-thesis/Thesis.pdf",
  "borg:thesisDefenseDate": "2025-05-12",
  "borg:program": "Computer Science",
  "borg:institutionAtBORG": "KAUST",
  "borg:advisor": "borg-id:person/robert-hoehndorf",
  "borg:borgProfileURL": "/profiles/mahdi-bu-ali",
  "borg:borgProfileNid": 8345,
  "borg:startYear": 2024,
  "borg:endYear": 2025,
  "borg:onProject": [
    {
      "@id": "https://leechuck.de/kg-browser/id/project/crg-explainable-ml-ontologies",
      "borg:startYear": 2024,
      "borg:endYear": 2025
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/project/coe-genai-bcb",
      "borg:startYear": 2024,
      "borg:endYear": 2025
    }
  ],
  "borg:topic": [
    {
      "@id": "https://leechuck.de/kg-browser/id/topic/neuro-symbolic-ai",
      "borg:weight": 2
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/topic/applied-ontology",
      "borg:weight": 1
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/topic/ontology-engineering-and-semantic-interoperability",
      "borg:weight": 1
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/topic/semantic-similarity",
      "borg:weight": 1
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/topic/drug-mechanisms-and-systems-biology",
      "borg:weight": 1
    },
    {
      "@id": "https://leechuck.de/kg-browser/id/topic/rare-disease-diagnostic-support",
      "borg:weight": 1
    }
  ]
}

Machine-readable copy: data.jsonld. Full dataset: kg.jsonld.