Tag
本文介绍 PaperFormalizer——一个基于 Lean 的作者参与式自动形式化流程，可从 LaTeX 论文出发构建语句依赖图、审计语句并将其形式化证明，同时在语义存在歧义时让作者做出决策，从而产出经 Lean 验证的论文版本。
本文提出数据差异化框架（DDF），结合互信息冗余惩罚、成本归一化的边际效用评分和治理输入，由SDSAE代理评估管线执行，用于量化候选数据资产的边际价值，并在信用卡欺诈检测基准上验证了其区分度与推荐稳定性。
IBM and Red Hat contributors share a PyTorch community blog detailing how they built Torch Spyre on top of PyTorch's Cross-Repository CI Relay (CRCR), using an agentic test-selection pipeline and declarative YAML test-reuse framework to achieve L2 integration for out-of-tree accelerator backends.
A developer is building an agentic Text-to-SQL pipeline for querying financial databases and seeks community feedback on the architecture's robustness, security, and performance.
This paper introduces a production enterprise analytics system that inverts the interaction model from question-first to analyst-first through domain-expert skills and knowledge compilation, enabling proactive analytics with verified metrics and suggested questions.
This feasibility study compares a standalone LLM with a pre-specified agentic pipeline for explaining ICU mortality predictions, finding that the agentic approach improves guideline grounding and patient-specific detail but requires attribution-based checks for safety.
HarnessEval-W is an agentic pipeline that automates human evaluation for world models by generating transparent evidence trees instead of opaque scores, enhancing trust and inspection in benchmarking.
A new state-of-the-art agentic pipeline has been introduced for easy music video creation, leveraging AI to streamline the process.
The author shares their experience building a local agentic pipeline on a budget, concluding that rigid Python code outperforms flexible AI agents for reliability and resource usage.
A self-optimizing agentic pipeline that improves benchmark performance from ~30% to ~90% on TerminalBench, and can be extended to everyday chats by logging interactions, reflecting with a local model, and injecting lessons into future system prompts.