Most proofs are trivial
lawrencecpaulson.github.io·6d
🔲Proof Irrelevance
Flag this post
Modeling Identity Types
🔶Cubical Type Theory
Flag this post
Rust is not about memory safety
🦀Rust Macros
Flag this post
Asymptotically Stable Quaternion-valued Hopfield-structured Neural Network with Periodic Projection-based Supervised Learning Rules
arxiv.org·5h
🌀Riemannian Computing
Flag this post
Offline Policy Evaluation of Multi-Turn LLM Health Coaching with Real Users
arxiv.org·5h
✨Effect Handlers
Flag this post
Interpretable RNA-Seq Clustering with an LLM-Based Agentic Evidence-Grounded Framework
arxiv.org·5h
🧮Kolmogorov Complexity
Flag this post
Decoding Intuition: Predicting Actions Before They Happen by Arvind Sundararajan
🔲Cellular Automata
Flag this post
Volumetric Non-Invasive Cardiac Mapping for Accessible Global Arrhythmia Characterization
arxiv.org·5h
📐Compression Mathematics
Flag this post
SOLE: Hardware-Software Co-design of Softmax and LayerNorm for Efficient Transformer Inference
arxiv.org·5h
🖥️Hardware Architecture
Flag this post
ReefNet: A Large scale, Taxonomically Enriched Dataset and Benchmark for Hard Coral Classification
arxiv.org·5h
🕳️Persistent Homology
Flag this post
DeTAILS: Deep Thematic Analysis with Iterative LLM Support
arxiv.org·5h
🏛Digital humanities
Flag this post
Hyperbolic Structured Classification for Robust Single Positive Multi-label Learning
arxiv.org·1d
🌀Hyperbolic Geometry
Flag this post
SpikeVox: Towards Energy-Efficient Speech Therapy Framework with Spike-driven Generative Language Models
arxiv.org·1d
🎧Learned Audio
Flag this post
Memory-SAM: Human-Prompt-Free Tongue Segmentation via Retrieval-to-Prompt
arxiv.org·1d
🤖Advanced OCR
Flag this post
Enhanced Celestial Coordinate System Data Assimilation via Adaptive Kalman Filtering and Graph Neural Networks
📊Quantization
Flag this post
A Comprehensive Survey on Reinforcement Learning-based Agentic Search: Foundations, Roles, Optimizations, Evaluations, and Applications
arxiv.org·5h
🔍Information Retrieval
Flag this post
The Right to Be Remembered: Preserving Maximally Truthful Digital Memory in the Age of AI
arxiv.org·5h
💻Local LLMs
Flag this post
Conditional Synthetic Live and Spoof Fingerprint Generation
arxiv.org·5h
🔗Binary Similarity
Flag this post
Loading...Loading more...