Watch the recordings from my Python + AI series
🎙️Whisper
Flag this post
A Short Introduction to Categorical Logic
youtube.com·1d
🔀Category Theory
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
✓Automated Theorem Proving
Flag this post
My Wishlist for PHP in 2026
📝Concrete Syntax
Flag this post
UnifiedFL: A Dynamic Unified Learning Framework for Equitable Federation
arxiv.org·23h
📝ABNF Parsing
Flag this post
Reward Collapse in Aligning Large Language Models
arxiv.org·23h
🔗Monadic Parsing
Flag this post
A Multi-agent Large Language Model Framework to Automatically Assess Performance of a Clinical AI Triage Tool
arxiv.org·23h
🧮Kolmogorov Complexity
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🔗Combinatory Logic
Flag this post
Enhancing ECG Classification Robustness with Lightweight Unsupervised Anomaly Detection Filters
arxiv.org·23h
🧠Machine Learning
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·23h
🧠Machine Learning
Flag this post
Ideology-Based LLMs for Content Moderation
arxiv.org·23h
📰Content Curation
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·23h
💻Programming languages
Flag this post
FlexICL: A Flexible Visual In-context Learning Framework for Elbow and Wrist Ultrasound Segmentation
arxiv.org·23h
🧠Machine Learning
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·23h
📝Log Parsing
Flag this post
Loading...Loading more...