HLJ

Portfolio | Data/AI/ML

Hoyeon Luke Jang

Own what you build

Latest Project

Deep Concept Model (DCM)

A proposed neuro-symbolic AI research programme for building a formal concept algebra over mathematics, using dependent type theory, Lean 4, Mathlib, ontology graphs, hyperbolic embeddings, and verified concept generation to explore reasoning beyond natural language.

researchneuro-symbolic-aiknowledge-representation
Read Case

Total Work

5

Latest

Present

Tags

machine-learningllmopsmodel-evaluationnlppythonpytorchscikit-learnai-agentsai-etlai-for-mathematicsannotation-platformapplied-aiattentionaudioaws-s3azureazure-databricksazure-machine-learningazure-openaiazure-sqlchromaci-cdclassificationcoherecompositional-reasoningcomputer-visionconcept-generationdata-sciencedatadogdeep-learningdockerecommerceembeddingsfastapifeature-engineeringforecastingfull-stackgptgraph-databaseshuman-datainternal-toolsknowledge-representationlean4llamaindexllmlogistic-regressionmathlibmultimodal-aineo4jneural-networksneuro-symbolic-ainextjsontologypineconepostgresprompt-engineeringragrandom-forestreactrecommendation-systemsresearchtheorem-provingtokenizationtransformertype-theorytypescriptvector-databasesxgboostyoutube-shortsmachine-learningllmopsmodel-evaluationnlppythonpytorchscikit-learnai-agentsai-etlai-for-mathematicsannotation-platformapplied-aiattentionaudioaws-s3azureazure-databricksazure-machine-learningazure-openaiazure-sqlchromaci-cdclassificationcoherecompositional-reasoningcomputer-visionconcept-generationdata-sciencedatadogdeep-learningdockerecommerceembeddingsfastapifeature-engineeringforecastingfull-stackgptgraph-databaseshuman-datainternal-toolsknowledge-representationlean4llamaindexllmlogistic-regressionmathlibmultimodal-aineo4jneural-networksneuro-symbolic-ainextjsontologypineconepostgresprompt-engineeringragrandom-forestreactrecommendation-systemsresearchtheorem-provingtokenizationtransformertype-theorytypescriptvector-databasesxgboostyoutube-shorts

Experience + Projects

Timeline

Experience and projects arranged together by date for a single view of applied systems work.

Complete Index

Projects