Fungus: The Befunge CPU(2015)
🔧Unikernel Development
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
🔀OCaml Multicore
Flag this post
Stop “Looks Right in Blender, Wrong in Engine”: A Practical Guide to Units, Scale, and Axes (with a helper you’ll actually use)
📊Runtime Verification
Flag this post
A Comparative Study of Hybrid Post-Quantum Cryptographic X.509 Certificate Schemes
arxiv.org·2d
🔒Protocol Verification
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.org·2d
🧩Parser Combinators
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.org·2d
🎮Verification Games
Flag this post
Beyond ImageNet: Understanding Cross-Dataset Robustness of Lightweight Vision Models
arxiv.org·2d
❓Existential Types
Flag this post
LookSync: Large-Scale Visual Product Search System for AI-Generated Fashion Looks
arxiv.org·2d
🧩Parser Combinators
Flag this post
Discourse-Aware Scientific Paper Recommendation via QA-Style Summarization and Multi-Level Contrastive Learning
arxiv.org·1h
🧩Parser Combinators
Flag this post
Between Rules and Meaning: Building a Website That Understands Language
🧩Parser Combinators
Flag this post
Multi-Sensor Distributed Hypothesis Testing in the Low-Power Regime
arxiv.org·2d
⏱️Computational Complexity
Flag this post
A Unified Model for Human Mobility Generation in Natural Disasters
arxiv.org·1d
🔲Cellular Automata
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·3d
📚Automata Learning
Flag this post
Erasing 'Ugly' from the Internet: Propagation of the Beauty Myth in Text-Image Models
arxiv.org·2d
🔤Kleene Algebra
Flag this post
Imperfect Language, Artificial Intelligence, and the Human Mind: An Interdisciplinary Approach to Linguistic Errors in Native Spanish Speakers
arxiv.org·2d
⚙️Compiler Design
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·2d
📦Module Systems
Flag this post
Loading...Loading more...