Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
OlmoEarth: A new state-of-the-art Earth observation foundation model family
👁️Observability
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
🔢Algebraic Data Types
Flag this post
It Doesn’t Need to Be a Chatbot
towardsdatascience.com·1d
📚Automata Learning
Flag this post
AI-Driven Predictive Hazard Mitigation via Dynamic Structural Health Monitoring
🩹Self-Healing Systems
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·2d
🔍CBMC
Flag this post
Transformer-Based Decoding in Concatenated Coding Schemes Under Synchronization Errors
arxiv.org·1d
⚙️Compiler Design
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·1d
🎮Verification Games
Flag this post
OmniBrainBench: A Comprehensive Multimodal Benchmark for Brain Imaging Analysis Across Multi-stage Clinical Tasks
arxiv.org·1d
🔀OCaml Multicore
Flag this post
Spot The Ball: A Benchmark for Visual Social Inference
arxiv.org·1d
🎮Verification Games
Flag this post
A Dual-Use Framework for Clinical Gait Analysis: Attention-Based Sensor Optimization and Automated Dataset Auditing
arxiv.org·4h
👁️Observability
Flag this post
Cognitive Alignment in Personality Reasoning: Leveraging Prototype Theory for MBTI Inference
arxiv.org·1d
📚Automata Learning
Flag this post
iFlyBot-VLA Technical Report
arxiv.org·4h
📚Automata Learning
Flag this post
GeneFlow: Translation of Single-cell Gene Expression to Histopathological Images via Rectified Flow
arxiv.org·1d
🧩Parser Combinators
Flag this post
Bridging Vision, Language, and Mathematics: Pictographic Character Reconstruction with B\'ezier Curves
arxiv.org·1d
📚Automata Learning
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.org·1d
🛡️seL4
Flag this post
MISA: Memory-Efficient LLMs Optimization with Module-wise Importance Sampling
arxiv.org·1d
📚Automata Learning
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
💎Refinement Types
Flag this post
Loading...Loading more...