ICT2, the paperback!
logicmatters.net·1h
🎯Proof Tactics
The Distribution of Prime Numbers: A Geometrical Perspective
blog.computationalcomplexity.org·49m·
Discuss: blog.computationalcomplexity.org, Hacker News
📐Mathematical Art
Reflecting JSON into C++ Objects
brevzin.github.io·1h·
Discuss: Hacker News, r/cpp
🔧Binary Parsers
Joint Embedding Predictive Architecture for self-supervised pretraining on polymer molecular graphs
arxiv.org·2d
🕸️Graph Embeddings
Nedials, Nedians, and some related triangles and some properties
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📊Computational Geometry
Client Clustering Meets Knowledge Sharing: Enhancing Privacy and Robustness in Personalized Peer-to-Peer Learning
arxiv.org·10h
🔒Privacy Preserving
Computation of Immediate Neighbours of Monotone Boolean Functions
arxiv.org·2d
🔲Cellular Automata
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·10h
📏Linear Logic
Memory Safety in Web Rust System Zero Cost Secure（1750931826373700）
dev.to·4h·
Discuss: DEV
🦀Rust Borrowing
Low-Cost Infrastructure-Free 3D Relative Localization with Sub-Meter Accuracy in Near Field
arxiv.org·1d
📊Computational Geometry
Geometric Contact Flows: Contactomorphisms for Dynamics and Control
arxiv.org·2d
🌀Differential Geometry
Seeing is Believing? Mitigating OCR Hallucinations in Multimodal Large Language Models
arxiv.org·10h
🤖Advanced OCR
A Set-to-Set Distance Measure in Hyperbolic Space
arxiv.org·2d
🌀Hyperbolic Geometry
Cross-sensor self-supervised training and alignment for remote sensing
arxiv.org·1d
📊Learned Metrics
Memory-Augmented Incomplete Multimodal Survival Prediction via Cross-Slide and Gene-Attentive Hypergraph Learning
arxiv.org·1d
🧠Machine Learning
Edge Association Strategies for Synthetic Data Empowered Hierarchical Federated Learning with Non-IID Data
arxiv.org·2d
🧠Machine Learning
Critical Anatomy-Preserving & Terrain-Augmenting Navigation (CAPTAiN): Application to Laminectomy Surgical Education
arxiv.org·10h
🌀Differential Geometry
Distribution of codewords on the faces of a hypercube and new combinatorial identities
arxiv.org·2d
⚽Sphere Packing
TDACloud: Point Cloud Recognition Using Topological Data Analysis
arxiv.org·2d
🌀Riemannian Computing
Scalable Machine Learning Algorithms using Path Signatures
arxiv.org·2d
🧠Machine Learning