A Short Introduction to Categorical Logic
youtube.com·2d
🔀Category Theory
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
✓Automated Theorem Proving
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·1d
🧠Machine Learning
Flag this post
Ideology-Based LLMs for Content Moderation
arxiv.org·1d
📰Content Curation
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·1d
💻Programming languages
Flag this post
FlexICL: A Flexible Visual In-context Learning Framework for Elbow and Wrist Ultrasound Segmentation
arxiv.org·1d
🧠Machine Learning
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·1d
📝Log Parsing
Flag this post
Dynamic Cooperative Collision Avoidance via Predictive Risk Assessment in Autonomous Vehicle Fleets
🔲Cellular Automata
Flag this post
What's In My Human Feedback? Learning Interpretable Descriptions of Preference Data
arxiv.org·1d
🎛️Feed Filtering
Flag this post
RePro: Training Language Models to Faithfully Recycle the Web for Pretraining
🤖Grammar Induction
Flag this post
Empirical Bayesian Multi-Bandit Learning
arxiv.org·1d
🧮Kolmogorov Bounds
Flag this post
HUME: Measuring the Human-Model Performance Gap in Text Embedding Task
🧠Intelligence Compression
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·1d
💻Local LLMs
Flag this post
Audio Signal Processing Using Time Domain Mel-Frequency Wavelet Coefficient
arxiv.org·3d
🌊Audio Wavelets
Flag this post
Loading...Loading more...