Handbook of Satisfiability (2021)
🔗Combinatory Logic
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.org·6h
🎞️Tape Combinatorics
Flag this post
PlotCraft: Pushing the Limits of LLMs for Complex and Interactive Data Visualization
arxiv.org·6h
🦀Rust Macros
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
✨Effect Handlers
Flag this post
Self-Improving Vision-Language-Action Models with Data Generation via Residual RL
arxiv.org·6h
🦾ARM Cortex-M
Flag this post
DEEP: A Discourse Evolution Engine for Predictions about Social Movements
arxiv.org·6h
⚡Incremental Computation
Flag this post
Feature-Guided SAE Steering for Refusal-Rate Control using Contrasting Prompts
arxiv.org·6h
🎙️Whisper
Flag this post
CueBench: Advancing Unified Understanding of Context-Aware Video Anomalies in Real-World
arxiv.org·6h
⏱️SMPTE Timecode
Flag this post
A filtering scheme for confocal laser endomicroscopy (CLE)-video sequences for self-supervised learning
arxiv.org·6h
🌀Riemannian Computing
Flag this post
AI Powered High Quality Text to Video Generation with Enhanced Temporal Consistency
arxiv.org·6h
🧠Learned Codecs
Flag this post
FedMGP: Personalized Federated Learning with Multi-Group Text-Visual Prompts
arxiv.org·6h
🧮Vector Embeddings
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·6h
🕸️Network Topology
Flag this post
Day 24: Python Countdown with Boom – Reverse Loop Printing "Boom" on Multiples of 3
🔗Concatenative Languages
Flag this post
Identification of Capture Phases in Nanopore Protein Sequencing Data Using a Deep Learning Model
arxiv.org·6h
🧠Machine Learning
Flag this post
Using Claude, Perplexity, v0, ChatGPT, etc to Make Tech Apps and Write Content
⚡Proof Automation
Flag this post
Synthesized Generative Modeling via Graph-Constrained Semantic Embedding
🧮Vector Embeddings
Flag this post
LeMiCa: Lexicographic Minimax Path Caching for Efficient Diffusion-Based Video Generation
arxiv.org·6h
⚡LZ4 Streaming
Flag this post
Loading...Loading more...