Verifying and testing timeliness constraints of Haskell programs
well-typed.com·12h·
Discuss: Hacker News
🤖AI
Flag this post
Rails, Roads and AI Reporting
inconvo.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
There is nothing out-of-distribution
gusarich.com·14h·
Discuss: Hacker News
🗣️Large Language Models
Flag this post
Restaurant Shift Scheduling via Linear Optimization and Staff Constraints
news.ycombinator.com·2h·
Discuss: Hacker News
🗣️Large Language Models
Flag this post
Critical Evaluation of Quantum Machine Learning for Adversarial Robustness
arxiv.org·23h
🧠Deep Learning
Flag this post
Learning with Statistical Equality Constraints
arxiv.org·1d
📈Statistical Learning
Flag this post
Humanoid Whole-Body Badminton via Multi-Stage Reinforcement Learning
arxiv.org·3d
🤖AI
Flag this post
MATT-Diff: Multimodal Active Target Tracking by Diffusion Policy
arxiv.org·2d
Automatic Differentiation
Flag this post
Opinion Mining and Analysis Using Hybrid Deep Neural Networks
arxiv.org·23h
🧠Neural Networks
Flag this post
MorphBoost: Self-Organizing Universal Gradient Boosting with Adaptive Tree Morphing
arxiv.org·2d
Automatic Differentiation
Flag this post
Show HN: A Conceptual Whitepaper on the Abstractive Thinking Model
github.com·19h·
Discuss: Hacker News
🤖AI
Flag this post
Do Large Language Models (LLMs) Understand Chronology?
arxiv.org·1d
🗣️Large Language Models
Flag this post
ClutterNav: Gradient-Guided Search for Efficient 3D Clutter Removal with Learned Costmaps
arxiv.org·2d
🧠Deep Learning
Flag this post
Motor Imagery Classification Using Feature Fusion of Spatially Weighted Electroencephalography
arxiv.org·1d
⏱️Time Series Analysis
Flag this post
A Novel CustNetGC Boosted Model with Spectral Features for Parkinson's Disease Prediction
arxiv.org·23h
Automatic Differentiation
Flag this post