← heapsort-ai

Scalability

88 items

RESEARCHarXiv CS.LG·4/22/2026

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs

This research introduces a novel learning-to-refine framework to address the prohibitive computational cost of Large Language Models (LLMs) in formal theorem proving. By exploiting compiler outputs that compress diverse proof attempts into structured failure modes, the method enables efficient proof exploration and local error correction, significantly amplifying the reasoning capabilities of base provers.

27
DOCDEV.to AI·12d ago

Top API Gateways for AI Applications and Agentic Workflows (2026 Developer Guide)

Many AI applications fail when faced with real user traffic due to issues like token budget exhaustion, streaming timeouts, and lack of essential features. API gateways become crucial for addressing these challenges, especially considering the unique characteristics of AI traffic such as long-lived streaming connections and unpredictable latency.

27
RESEARCHarXiv CS.AI·12d ago

Agyn: An Open-Source Platform for AI Agents with Scalable On-Demand Execution, Agent Definition as a Code, and Zero-Trust Access

Agyn is an open-source platform for AI agents designed to address the challenges of operating them at scale with proper isolation, governance, and security. It features a signal-driven, stateful serverless runtime on Kubernetes, agent definition as code via Terraform, and a security model based on zero-trust principles.

27