⚙️ Concurrency Models - ChosunOne · Scour

✅Lean Theorem Prover arXiv·

Cluster-based Message-Passing (CluMP) Optimization for Complex QUBO Problems

✅Lean Theorem Prover arXiv·

Enhanced Graph Neural Networks using K-Hop Gaussian Diffusion

🦀Rust arXiv·

Enhancing Graph Neural Networks Using Proximity Graphs for Dust Source Emission Forecasting

✅Lean Theorem Prover arXiv·

Geometrical fairness in graph neural networks

✅Lean Theorem Prover arXiv·

On the Reliability of Networks of AI Agents: Density Evolution, Stopping Sets, and Architecture Optimization

🏗️Compiler Design arXiv·

ChronoSurv: A Clinical Pathway-Guided Graph Framework for Multimodal Survival Analysis

✅Lean Theorem Prover arXiv·

Towards Fast GNN Surrogates for CO2 Migration in Complex Geological Formations

🏗️Compiler Design arXiv·

SGFormer++: Semantic Graph Transformer for Incremental 3D Scene Graph Generation

⌨️Neovim arXiv·

OTCHA: Optimal Transport-driven Confidence-aware Latent Hub Alignment for Multi-View Medical Image Classification

🏗️Compiler Design arXiv·

Multi-Modal Hyper-Graph Fusion for Low-Light Crowd Counting

Log in to enable infinite scrolling