Is class imbalance a problem in machine learning?
datascience.stackexchange.com·1d·
Discuss: Hacker News
📚Automata Learning
On beautiful code
keygen.sh·4d·
Discuss: r/programming
💎Refinement Types
The State of AI Browser Agents in 2025
fillapp.ai·14h·
Discuss: Hacker News
✓Automated Theorem Proving
Creating a Knowledge Graph for ICD Codes Using LLMs
ai.gopubby.com·2d·
Discuss: Hacker News
⚙Operational Semantics
A Snippet On Egregores, Instincts, And Institutions
lesswrong.com·1h
🩹Self-Healing Systems
Exploring the Design Space of Fair Tree Learning Algorithms
arxiv.org·2d
🔠Type-Level Programming
Semantic Analysis of SNOMED CT Concept Co-occurrences in Clinical Documentation using MIMIC-IV
arxiv.org·1d
📝Term Rewriting
PARCO: Phoneme-Augmented Robust Contextual ASR via Contrastive Entity Disambiguation
arxiv.org·1d
🧩Parser Combinators
Decoding the Poetic Language of Emotion in Korean Modern Poetry: Insights from a Human-Labeled Dataset and AI Modeling
arxiv.org·1d
🧩Parser Combinators
E-ARMOR: Edge case Assessment and Review of Multilingual Optical Character Recognition
arxiv.org·1d
🐫Embedded OCaml
The Three Sacred Guardrails of AI
aboard.com·2d·
Discuss: Hacker News
🔬Static Analysis
Ultra Strong Machine Learning: Teaching Humans Active Learning Strategies via Automated AI Explanations
arxiv.org·3d
📚Automata Learning
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
arxiv.org·2d
🎮Verification Games
Successive Cancellation Decoding For General Monotone Chain Polar Codes
arxiv.org·2d
🧩Parser Combinators
Aesthetic Image Captioning with Saliency Enhanced MLLMs
arxiv.org·1d
📚Automata Learning
OffVermilion
lesswrong.com·9h
🍎Apple
Quirks of Common Lisp Types
fosskers.ca·6d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Row Impartial Terminus
arxiv.org·2d
🎮Verification Games
Language Models Do Not Follow Occam's Razor: A Benchmark for Inductive and Abductive Reasoning
arxiv.org·2d
📚Automata Learning
TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
arxiv.org·2d
📊Runtime Verification