Choosing a dependency
🔧DevOps
Flag this post
Do I want Coders to Code?
🏃Escape Analysis
Flag this post
Playing Around with ARM Assembly
🐫Embedded OCaml
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·18h
🔧DevOps
Flag this post
DEER: Disentangled Mixture of Experts with Instance-Adaptive Routing for Generalizable Machine-Generated Text Detection
arxiv.org·2h
🧩Parser Combinators
Flag this post
Balancing Interpretability and Performance in Motor Imagery EEG Classification: A Comparative Study of ANFIS-FBCSP-PSO and EEGNet
arxiv.org·2h
🧠Automated Reasoning
Flag this post
Probing Knowledge Holes in Unlearned LLMs
arxiv.org·2h
🔍CBMC
Flag this post
FLoRA: Fused forward-backward adapters for parameter efficient fine-tuning and reducing inference-time latencies of LLMs
arxiv.org·2h
📚Automata Learning
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.org·2h
🧠Automated Reasoning
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
💎Refinement Types
Flag this post
AraFinNews: Arabic Financial Summarisation with Domain-Adapted LLMs
arxiv.org·2h
🧩Parser Combinators
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·2h
✓Automated Theorem Proving
Flag this post
Bayesian Natural Gradient Fine-Tuning of CLIP Models via Kalman Filtering
arxiv.org·2h
🎯Hindley-Milner
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
👁️Observability
Flag this post
Aligning LLM agents with human learning and adjustment behavior: a dual agent approach
arxiv.org·2h
📚Automata Learning
Flag this post
FedMGP: Personalized Federated Learning with Multi-Group Text-Visual Prompts
arxiv.org·2h
📚Automata Learning
Flag this post
Loading...Loading more...