Real-time stock volatility prediction with deep learning on a time-series DB
🔢Algebraic Data Types
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
🔀OCaml Multicore
Flag this post
are-dependent-types-actually-erased
❓Existential Types
Flag this post
Low-Level Hacks
🐫Embedded OCaml
Flag this post
Autonomous Design Optimization of DNA Origami Nanostructures via Hybrid Genetic Algorithm and Molecular Dynamics Simulation
🔲Cellular Automata
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·1d
🔀OCaml Multicore
Flag this post
Balancing Interpretability and Performance in Motor Imagery EEG Classification: A Comparative Study of ANFIS-FBCSP-PSO and EEGNet
arxiv.org·1d
🧠Automated Reasoning
Flag this post
Training Convolutional Neural Networks with the Forward-Forward algorithm
arxiv.org·8h
🧩Parser Combinators
Flag this post
Fuzzy Soft Set Theory based Expert System for the Risk Assessment in Breast Cancer Patients
arxiv.org·8h
📐Linear Algebra
Flag this post
SpatialTraceGen: High-Fidelity Traces for Efficient VLM Spatial Reasoning Distillation
arxiv.org·1d
🧩Separation Logic
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·1d
⚙️Compiler Design
Flag this post
Human-AI Programming Role Optimization: Developing a Personality-Driven Self-Determination Framework
arxiv.org·1d
λFunctional Programming
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.org·1d
🛡️seL4
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·8h
📡Network Protocol Design
Flag this post
Probing Knowledge Holes in Unlearned LLMs
arxiv.org·1d
🔍CBMC
Flag this post
CompAgent: An Agentic Framework for Visual Compliance Verification
arxiv.org·1d
🧩Separation Logic
Flag this post
Loading...Loading more...