Roadmap for Improving the Type Checker
🔍Type Inference
Flag this post
Reflection for Aggregates (2020)
🔢Algebraic Data Types
Flag this post
[D][P] PKBoost v2 is out! An entropy-guided boosting library with a focus on drift adaptation and multiclass/regression support.
🎯Hindley-Milner
Flag this post
Tackling the Kidnapped Robot Problem via Sparse Feasible Hypothesis Sampling and Reliable Batched Multi-Stage Inference
arxiv.org·1d
🤖Robotics
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
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
💎Refinement Types
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.com·19h
🧪Property-Based Testing
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
🧮Lambda Calculus
Flag this post
Between Myths and Metaphors: Rethinking LLMs for SRH in Conservative Contexts
arxiv.org·1h
❓Existential Types
Flag this post
Predictive Biomarker Discovery via Multivariate Autoencoder-Guided CRISPR Screening
🤖Program Synthesis
Flag this post
What a diff makes: automating code migration with large language models
arxiv.org·1d
📦Opam
Flag this post
iFlyBot-VLA Technical Report
arxiv.org·1h
📚Automata Learning
Flag this post
MaGNet: A Mamba Dual-Hypergraph Network for Stock Prediction via Temporal-Causal and Global Relational Learning
arxiv.org·1d
📚Automata Learning
Flag this post
Defining Energy Indicators for Impact Identification on Aerospace Composites: A Physics-Informed Machine Learning Perspective
arxiv.org·1d
📐Linear Algebra
Flag this post
Between Rules and Meaning: Building a Website That Understands Language
🧩Parser Combinators
Flag this post
Loquetier: A Virtualized Multi-LoRA Framework for Unified LLM Fine-tuning and Serving
arxiv.org·1d
🐫OCaml
Flag this post
Neural Green's Functions
arxiv.org·1h
📐Linear Algebra
Flag this post
Perceived Femininity in Singing Voice: Analysis and Prediction
arxiv.org·1h
📐Linear Algebra
Flag this post
Loading...Loading more...