Pronto: JavaScript Functional Library for Eventuality and Concurrency
λFunctional Programming
Flag this post
Reevaluating Self-Consistency Scaling in Multi-Agent Systems
arxiv.org·2h
🔲Cellular Automata
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·2h
🔲Cellular Automata
Flag this post
Panther: A Cost-Effective Privacy-Preserving Framework for GNN Training and Inference Services in Cloud Environments
arxiv.org·2h
λFunctional Programming
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.org·2h
🧩Parser Combinators
Flag this post
Alpamayo-R1: Bridging Reasoning and Action Prediction for Generalizable Autonomous Driving in the Long Tail
arxiv.org·2h
🧩Separation Logic
Flag this post
DEER: Disentangled Mixture of Experts with Instance-Adaptive Routing for Generalizable Machine-Generated Text Detection
arxiv.org·2h
🧩Parser Combinators
Flag this post
Wavelet-Based Feature Extraction and Unsupervised Clustering for Parity Detection: A Feature Engineering Perspective
arxiv.org·2h
🔢Algebraic Data Types
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.org·2h
📚Automata Learning
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
👁️Observability
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·2h
🧠Automated Reasoning
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·2h
📦Module Systems
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·2h
🧠Automated Reasoning
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.org·2h
🐳Containerization
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·2h
⏱️Computational Complexity
Flag this post
Reflections on Trusting Trust (1984)
🛡️seL4
Flag this post
Loading...Loading more...