FLINT: Fast Library for Number Theory
flintlib.org·11h
🧮Algebraic Datatypes
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
FoundDiff: Foundational Diffusion Model for Generalizable Low-Dose CT Denoising
arxiv.org·2h
💿FLAC Archaeology
Characterizing Visualization Perception with Psychological Phenomena: Uncovering the Role of Subitizing in Data Visualization
arxiv.org·2h
🌈Color Science
A Laplace diffusion-based transformer model for heart rate forecasting within daily activity context
arxiv.org·2h
🎙️Whisper
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·2h
✨Algebraic Effects
A Screw Approach to the Approximation of the Local Geometry of the Configuration Space and of the set of Configurations of Certain Rank of Lower Pair Linkages
arxiv.org·6d
🌀Differential Geometry
Alternating Training-based Label Smoothing Enhances Prompt Generalization
arxiv.org·2h
📊Learned Metrics
On systematic construction of correct logic programs
arxiv.org·2h
⚖️Hoare Logic
Reinforcement Learning-based Control via Y-wise Affine Neural Networks (YANNs)
arxiv.org·1d
🔲Cellular Automata
Uncertainty Propagation Networks for Neural Ordinary Differential Equations
arxiv.org·2h
📊Quantization
Sound and Solution-Complete CCBS
arxiv.org·1d
🛡️Archive Verification
TOMATO: Assessing Visual Temporal Reasoning Capabilities in Multimodal Foundation Models
arxiv.org·2h
🤖Advanced OCR
Development of an isotropic segmentation model for medial temporal lobe subregions on anisotropic MRI atlas using implicit neural representation
arxiv.org·2h
📊Learned Metrics
OmniMRI: A Unified Vision--Language Foundation Model for Generalist MRI Interpretation
arxiv.org·2h
🤖Advanced OCR
BrainPath: Generating Subject-Specific Brain Aging Trajectories
arxiv.org·2h
🌀Differential Geometry
Generative Latent Diffusion Model for Inverse Modeling and Uncertainty Analysis in Geological Carbon Sequestration
arxiv.org·2h
🌀Differential Geometry
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·2h
🔧Hardware Verification
NeuroKoop: Neural Koopman Fusion of Structural-Functional Connectomes for Identifying Prenatal Drug Exposure in Adolescents
arxiv.org·1d
🧠Machine Learning
A novel auxiliary equation neural networks method for exactly explicit solutions of nonlinear partial differential equations
arxiv.org·2h
🌀Riemannian Computing