Real-time stock volatility prediction with deep learning on a time-series DB
🔢Algebraic Data Types
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
📚Automata Learning
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·1d
🧩Parser Combinators
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·4d
➡️Category Theory
Flag this post
A Comparative Study of Hybrid Post-Quantum Cryptographic X.509 Certificate Schemes
arxiv.org·11h
🔒Protocol Verification
Flag this post
Reason About Intelligence, Not AI
lesswrong.com·1d
🧠Automated Reasoning
Flag this post
Branched Signature Model
arxiv.org·11h
🕸️Graph Theory
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.org·1d
📐Linear Algebra
Flag this post
Code Smell 313 - Workslop Code
🔲Cellular Automata
Flag this post
Real-Time Process Optimization via Adaptive Bayesian Reinforcement Learning and Multi-Objective Genetic Algorithms
🩹Self-Healing Systems
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·11h
🎮Verification Games
Flag this post
A Quantitative Framework to Predict Wait-Time Impacts Due to AI-Triage Devices in a Multi-AI, Multi-Disease Workflow
arxiv.org·1d
👁️Observability
Flag this post
DCcluster-Opt: Benchmarking Dynamic Multi-Objective Optimization for Geo-Distributed Data Center Workloads
arxiv.org·11h
🖥️Self-hosted Infrastructure
Flag this post
Building an AI-Powered Recipe Assistant with Agentic Postgres: A Deliciously Data-Driven Adventure 🍳🤖
🤖Program Synthesis
Flag this post
Human-AI Programming Role Optimization: Developing a Personality-Driven Self-Determination Framework
arxiv.org·11h
λFunctional Programming
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·4d
🧠Automated Reasoning
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·11h
📦OPAM
Flag this post
Loading...Loading more...