Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·1d
🔓Decompilation
Flag this post
Everything About Transformers
krupadave.com·1d
📝Text Parsing
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·22h
🧠Machine Learning
Flag this post
Duality-Based Fixed Point Iteration Algorithm for Beamforming Design in ISAC Systems
arxiv.org·22h
🎯Performance Proofs
Flag this post
Information-Theoretic Discrete Diffusion
arxiv.org·2d
📡Information theory
Flag this post
How fast can an LLM go?
🎯Emulator Accuracy
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
✓Automated Theorem Proving
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·22h
🧮Algebraic Archives
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
🔲Lattice Cryptography
Flag this post
Empirical Bayesian Multi-Bandit Learning
arxiv.org·22h
🧮Kolmogorov Bounds
Flag this post
RS-ORT: A Reduced-Space Branch-and-Bound Algorithm for Optimal Regression Trees
arxiv.org·2d
🧮Kolmogorov Bounds
Flag this post
KARIPAP: Quantum-Inspired Tensor Network Compression of Large Language Models Using Infinite Projected Entangled Pair States and Tensor Renormalization Group
arxiv.org·3d
🕸️Tensor Networks
Flag this post
Linear Operator Approximate Message Passing (OpAMP)
arxiv.org·1d
🧠Machine Learning
Flag this post
Scalable Knowledge Graph Embedding via Adaptive Dimensionality Reduction & Multi-Objective Optimization
🕸️Graph Embeddings
Flag this post
Loading...Loading more...