👑 Isabelle/HOL

Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving

Predicted 'neglectons' hold promise for robust, universal quantum computing
physicsworld.com·3d·
Discuss: Hacker News
🕸️Tensor Networks
Dancing with REEM-C: A robot-to-human physical-social communication study
arxiv.org·7h
✋Tactile Computing
vygrant: oauth2 bridge for legacy cli tools
reddit.com·2d·
Discuss: r/golang
🔌Interface Evolution
A Monotonicity-Based Regularization Approach to Shape Reconstruction for the Helmholtz Equation
arxiv.org·7h
🌀Differential Geometry
Does the Skeleton-Recall Loss Really Work?
arxiv.org·7h
🌀Riemannian Computing
Zono-Conformal Prediction: Zonotope-Based Uncertainty Quantification for Regression and Classification Tasks
arxiv.org·7h
📊Quantization
Mitigating Category Imbalance: Fosafer System for the Multimodal Emotion and Intent Joint Understanding Challenge
arxiv.org·7h
🎵Audio ML
Paper résumés, trick questions, in-person job interviews: Hiring is going old school to escape AI slop
businessinsider.com·3h
⚡Proof Automation
Hierarchical Graph Feature Enhancement with Adaptive Frequency Modulation for Visual Recognition
arxiv.org·7h
🤖Advanced OCR
WeatherPaper
hackster.io·1d
⚙️DIY Electronics
Personalized Distractor Generation via MCTS-Guided Reasoning Reconstruction
arxiv.org·7h
📊Learned Metrics
SeamlessFlow: A Trainer Agent Isolation RL Framework Achieving Bubble-Free Pipelines via Tag Scheduling
arxiv.org·7h
🌊Stream Processing
Adaptive Exploration-Exploitation Balancing via Bayesian Meta-Reinforcement Learning for Dynamic Grid Navigation
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
Build an intelligent financial analysis agent with LangGraph and Strands Agents
aws.amazon.com·4d
🌊Stream Processing
Dynamic Buffer Allocation via Reinforcement Learning for Adaptive Port Capacity Modeling
dev.to·2d·
Discuss: DEV
🌊Streaming Systems
Hyperparameter Optimization for Sparse Gaussian Process Regression via Adaptive Meta-Learning
dev.to·2d·
Discuss: DEV
🧠Machine Learning
The Power of Modern AI: How Deep Learning Is Transforming Industries
dev.to·4h·
Discuss: DEV
🧠Machine Learning
3D FlowMatch Actor: Unified 3D Policy for Single- and Dual-Arm Manipulation
arxiv.org·7h
🔲Cellular Automata
[Media] Tur - A language for defining and executing Turing machines with multi-platform visualization tools (Web, TUI and CLI) written in Rust 🦀
reddit.com·6d·
Discuss: r/rust
🦀Rust Macros
Automated Diplexer Parameter Optimization via Adaptive Evolutionary Algorithms
dev.to·6h·
Discuss: DEV
📡Bluetooth Archaeology