Reflections on Trusting Trust (1984)
📜Proof Carrying Code
Flag this post
Neurosymbolic Deep Learning Semantics
arxiv.org·53m
🔢Denotational Semantics
Flag this post
I Use AI
⚡Proof Automation
Flag this post
Training Convolutional Neural Networks with the Forward-Forward algorithm
arxiv.org·53m
🧠Machine Learning
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
✅Formal Methods
Flag this post
DiffPace: Diffusion-based Plug-and-play Augmented Channel Estimation in mmWave and Terahertz Ultra-Massive MIMO Systems
arxiv.org·53m
🧠Machine Learning
Flag this post
The Collaboration Gap
arxiv.org·53m
🧠Intelligence Compression
Flag this post
Enhancing LOD Integrity via Hyperdimensional Semantic Graph Normalization & Automated Anomaly Detection
📰Content Curation
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·1d
✨Effect Handlers
Flag this post
KAT-GNN: A Knowledge-Augmented Temporal Graph Neural Network for Risk Prediction in Electronic Health Records
arxiv.org·1d
🧠Machine Learning
Flag this post
Hydra: Dual Exponentiated Memory for Multivariate Time Series Analysis
arxiv.org·1d
📈Time Series
Flag this post
A Hybrid Deep Learning and Forensic Approach for Robust Deepfake Detection
arxiv.org·2d
🔍Vector Forensics
Flag this post
Measuring the Intrinsic Dimension of Earth Representations
arxiv.org·53m
🧠Machine Learning
Flag this post
Efficient Test-Time Retrieval Augmented Generation
arxiv.org·1d
🔍Information Retrieval
Flag this post
AI Progress Should Be Measured by Capability-Per-Resource, Not Scale Alone: A Framework for Gradient-Guided Resource Allocation in LLMs
arxiv.org·1d
🧠Intelligence Compression
Flag this post
Explore More, Learn Better: Parallel MLLM Embeddings under Mutual Information Minimization
arxiv.org·1d
🧮Kolmogorov Complexity
Flag this post
Energy Loss Functions for Physical Systems
arxiv.org·53m
🌡️Preservation Thermodynamics
Flag this post
Region-Aware Reconstruction Strategy for Pre-training fMRI Foundation Model
arxiv.org·1d
📊Learned Metrics
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·1d
🔨Compilers
Flag this post
Loading...Loading more...