Constraint Solvers
Noise-Adaptive High-Probability Regret Bounds for Online Convex Optimization
聽馃幉Probability 聽Content type: AcademicDiffSlack: Learning under Nonlinear Inequality Constraints via Learnable Slack Variables
聽馃ML 聽Content type: AcademicCorrect-by-Construction Design of Timed Systems in Event-B
聽馃敁Lock-Free Structures 聽Content type: AcademicNeuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
聽馃ML 聽Content type: AcademicVCIFBench: Evaluating Complex Instruction Following for Video Understanding
聽馃搳Columnar Execution 聽Content type: AcademicSolving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems
聽馃搻Mathematics 聽Content type: AcademicSIFT: Selective-Index For Fast Compute of RAG Prefill by Exploiting Attention Invariance
聽馃幆Vector Search 聽Content type: AcademicVASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents
聽馃搻TLA+ 聽Content type: AcademicNo more posts from friedrice's subscribed feeds.