Pinned Loading

1. celioboulay/origami-formalization celioboulay/origami-formalization Public

   Lean 1

2. latent-drifting-mri-counterfactuals latent-drifting-mri-counterfactuals Public

   A Cycle Diffusion framework utilizing Latent Drifting for patient-customized counterfactual MRI augmentation. Validated on 2D axial slices for Alzheimer's Disease vs. Cognitively Normal states.

   TeX

3. CellsSpatialPositionInference-GNNs CellsSpatialPositionInference-GNNs Public

   Spatial GNN for Xenium data — Local Subgraph Training with Joint Encoder

   Python 1

4. Echocardiography-Auto-Volume-Analyzer Echocardiography-Auto-Volume-Analyzer Public

   HeartVolume is a desktop Python app (Tkinter + OpenCV) to estimate cardiac volumes from echocardiography videos using three workflows: Simple method, Modified Simpson method, and Doppler method.

   Python 3 1

5. Branch-Bound-RL-Augmentation Branch-Bound-RL-Augmentation Public

   Meta-Reinforcement Learning for Dynamic Heuristic Selection in Branch-and-Bound (MILP)

   Python 2

6. celioboulay/lean-proof-agent celioboulay/lean-proof-agent Public

   Python 3