Up and Down the Ladder of Abstraction
🔲Cellular Automata
Flag this post
Creating Lisp Systems
📝Nix Language
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
🤖Program Synthesis
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·1d
🔀OCaml Multicore
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·16h
📡Network Protocol Design
Flag this post
Probing Knowledge Holes in Unlearned LLMs
arxiv.org·1d
🔍CBMC
Flag this post
CompAgent: An Agentic Framework for Visual Compliance Verification
arxiv.org·1d
🧩Separation Logic
Flag this post
LGCC: Enhancing Flow Matching Based Text-Guided Image Editing with Local Gaussian Coupling and Context Consistency
arxiv.org·16h
🔀OCaml Multicore
Flag this post
Enhanced Intrusion Detection via Adaptive Ensemble of Federated Generative Adversarial Networks
🔀Brzozowski Derivatives
Flag this post
Iterative Foundation Model Fine-Tuning on Multiple Rewards
arxiv.org·1d
🎯Hindley-Milner
Flag this post
OSMGen: Highly Controllable Satellite Image Synthesis using OpenStreetMap Data
arxiv.org·1d
📦OPAM
Flag this post
Visual Backdoor Attacks on MLLM Embodied Decision Making via Contrastive Trigger Learning
arxiv.org·2d
🎮Verification Games
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·1d
🔲Cellular Automata
Flag this post
Beyond ImageNet: Understanding Cross-Dataset Robustness of Lightweight Vision Models
arxiv.org·1d
❓Existential Types
Flag this post
AI Progress Should Be Measured by Capability-Per-Resource, Not Scale Alone: A Framework for Gradient-Guided Resource Allocation in LLMs
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Efficient Test-Time Retrieval Augmented Generation
arxiv.org·1d
📚Automata Learning
Flag this post
Loading...Loading more...