Handbook of Satisfiability (2021)
λFunctional Programming
Flag this post
Tackling the Kidnapped Robot Problem via Sparse Feasible Hypothesis Sampling and Reliable Batched Multi-Stage Inference
arxiv.org·15h
🔄Dynamic Programming
Flag this post
Scaling Coding-Agent RL to 32x H100s. 160% Improvement on Stanford's TBench
⏱️Computational Complexity
Flag this post
Efficient Curvature-aware Graph Network
arxiv.org·15h
🕸️Graph Theory
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·15h
🕸️Graph Theory
Flag this post
Benchmarking Generative AI Against Bayesian Optimization for Constrained Multi-Objective Inverse Design
arxiv.org·15h
📈Optimization
Flag this post
Don't Just Search, Understand: Semantic Path Planning Agent for Spherical Tensegrity Robots in Unknown Environments
arxiv.org·15h
🎯A* Search
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·15h
λFunctional Programming
Flag this post
Reverse Engineering Googles BotGuard
💣Binary Exploitation
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·15h
λFunctional Programming
Flag this post
Tetris: An SLA-aware Application Placement Strategy in the Edge-Cloud Continuum
arxiv.org·15h
⏱️Computational Complexity
Flag this post
Gaining Momentum: Uncovering Hidden Scoring Dynamics in Hockey through Deep Neural Sequencing and Causal Modeling
arxiv.org·15h
🔵Eigenvalues
Flag this post
Code Smell 313 - Workslop Code
💻programming
Flag this post
Why Agentic AI Struggles in the Real World — and How to Fix It
⏱️Computational Complexity
Flag this post
Math.random, friend or foe?
λFunctional Programming
Flag this post
Loading...Loading more...