Highlights
- Pro
Pinned Loading
-
pinnsformer-parameter-transfer
pinnsformer-parameter-transfer PublicForked from almasria/gnn_project
Investigating transfer learning in PINNsFormers: parameter-conditioned PINNs and Transformer-based PINNs on ODE/PDE benchmarks.
Jupyter Notebook
-
medical_kg_fusion
medical_kg_fusion PublicA project on knowledge graph fusion in the medical domain implemented for the master practical module at Heidelberg University.
Jupyter Notebook
-
sem_math_repo
sem_math_repo PublicCode for my bachelor thesis: parses LaTeX formulas from the MSE dataset into tree‐based semantic types and implements binary/multilabel classification to learn math token embeddings.
Jupyter Notebook 1
-
-
tactic-annot
tactic-annot PublicExperimental Lean 4 proof automation system using LLM-guided aesop tactic based strategies and logging successful hints for future annotations.
Jupyter Notebook
If the problem persists, check the GitHub status page or contact support.

