A Subjective Logic-based method for runtime confidence updates in safety arguments - 惯性聚合

推荐订阅源

博客园 - Franky

Proofpoint News Feed

Palo Alto Networks Blog

Hackread – Cybersecurity News, Data Breaches, AI and More

The Register - Security

Security @ Cisco Blogs

Simon Willison's Weblog

Recorded Future

大猫的无限游戏

Microsoft Research Blog - Microsoft Research

Tailwind CSS Blog

cs.CV updates on arXiv.org

Cyber Security Advisories - MS-ISAC

Application and Cybersecurity Blog

True Tiger Recordings

有赞技术团队

Cisco Talos Blog

Hacker News - Newest: "LLM"

The GitHub Blog

cs.AI updates on arXiv.org

博客园 - 叶小钗

Hugging Face - Blog

Hacker News: Ask HN

Security Archives - TechRepublic

Future of Privacy Forum

PCI Perspectives

Help Net Security

让小产品的独立变现更简单 - ezindie.com

The Blog of Author Tim Ferriss

Netflix TechBlog - Medium

罗磊的独立博客

Apple Machine Learning Research

Security Latest

美团技术团队

博客园 - 三生石上(FineUI控件)

Schneier on Security

CERT Recently Published Vulnerability Notes

cs.AI updates on arXiv.org

Meta-Learning for Rapid Adaptation in Reference Tracking of Uncertain Nonlinear Systems Compiling Agentic Workflows into LLM Weights: Near-Frontier Quality at Two Orders of Magnitude Less Cost IdleSpec: Exploiting Idle Time via Speculative Planning for LLM Agents FLUID: From Ephemeral IDs to Multimodal Semantic Codes for Industrial-Scale Livestreaming Recommendation What Counts as AI Sycophancy? A Taxonomy and Expert Survey of a Fragmented Construct S2ED: From Story to Executable Descriptions for Consistency-Aware Story Illustration Evaluating Large Language Models as Live Strategic Agents: Provider Performance, Hybrid Decomposition, and Operational Gaps in Timed Risk Play Towards Direct Evaluation of Harness Optimizers via Priority Ranking A Causal Argumentation Method for Explainability of Machine Learning Models Forecasting Scientific Progress with Artificial Intelligence Is Capability a Liability? More Capable Language Models Make Worse Forecasts When It Matters Most MindLoom: Composing Thought Modes for Frontier-Level Reasoning Data Synthesis Trace2Skill: Verifier-Guided Skill Evolution for Long-Context EDA Agents KAPPS: A knowledge-based CPPS Architecture for the Circular Factory Adapting the Interface, Not the Model: Runtime Harness Adaptation for Deterministic LLM Agents SGR-Bench: Benchmarking Search Agents on State-Gated Retrieval Think Thrice Before You Speak: Dual knowledge-enhanced Theory-of-Mind Reasoning for Persuasive Agents Claw AI Lab: An Autonomous Multi-Agent Research Team ArborKV: Structure-Aware KV Cache Management for Scaling Tree-based LLM Reasoning Format-Constraint Coupling in Knowledge Graph Construction from Statistical Tables Meta-Soft: Leveraging Composable Meta-Tokens for Context-Preserving KV Cache Compression TerminalWorld: Benchmarking Agents on Real-World Terminal Tasks SMDD-Bench: Can LLMs Solve Real-World Small Molecule Drug Design Tasks? Who Uses AI? Platforms, Workforce, and AI Exposure Investigating Concept Alignment Using Implausible Category Members SciCore-Mol: Augmenting Large Language Models with Pluggable Molecular Cognition Modules The Log is the Agent: Event-Sourced Reactive Graphs for Auditable, Forkable Agentic Systems A Camera-Cooperative ISAC Framework for Multimodal Non-Cooperative UAVs Sensing AtelierEval: Agentic Evaluation of Humans & LLMs as Text-to-Image Prompters Evaluation of Pipelines for Data Integration into Knowledge Graphs CLORE: Content-Level Optimization for Reasoning Efficiency MPDocBench-Parse: Benchmarking Practical Multi-page Document Parsing LLM-Metrics: Measuring Research Impact Through Large Language Model Memory Knowledge Graph Re-engineering Along the Ontological Continuum (extended version) The Impact of AI Usage and Informativeness on Skill Development in Logical Reasoning Towards a compositional semantics for quantitative confidence assessment in assurance arguments Unlocking Proactivity in Task-Oriented Dialogue Measuring Cross-Modal Synergy: A Benchmark for VLM Explainability Spreadsheet-RL: Advancing Large Language Model Agents on Realistic Spreadsheet Tasks via Reinforcement Learning WorkstreamBench: Evaluating LLM Agents on End-to-End Spreadsheet Tasks in Finance Latent-space Attacks for Refusal Evasion in Language Models TO-Agents: A Multi-Agent AI Pipeline for Preference-Guided Topology Optimization Benchmarking and Improving Monitors for Out-Of-Distribution Alignment Failure in LLMs The Shape of Testimony: A Scalable Framework for Oral History Archive Comparison Toward AI VIS Co-Scientists: A General and End-to-End Agent Harness for Solving Complex Data Visualization Tasks AttuneBench: A Conversation-Based Benchmark for LLM Emotional Intelligence Active Evidence-Seeking and Diagnostic Reasoning in Large Language Models for Clinical Decision Support ECPO: Evidence-Coupled Policy Optimization for Evidence-Certified Candidate Ranking Implicit Safety Alignment from Crowd Preferences Skill Weaving: Efficient LLM Improvement via Modular Skillpacks AI-Enabled Serious Games: Integrating Intelligence and Adaptivity in Training Systems Scaling Observation-aware Planning in Uncertain Domains AOP-Wiki EMOD 3.0: Data Model Expansions and Content Evaluation Framework for Using Agentic AI to Improve Integration between AOPs and New Approach Methodologies (NAMs) Cross-domain benchmarks reveal when coordinated AI agents improve scientific inference from partial evidence ExComm: Exploration-Stage Communication for Error-Resilient Agentic Test-Time Scaling Enhancing Visual Token Representations for Video Large Language Models via Training-Free Spatial-Temporal Pooling and Gridding Ratchet: A Minimal Hygiene Recipe for Self-Evolving LLM Agents Efficient Agentic Reasoning Through Self-Regulated Simulative Planning ST-SimDiff: Balancing Spatiotemporal Similarity and Difference for Efficient Video Understanding with MLLMs Echo: Learning from Experience Data via User-Driven Refinement LACO: Adaptive Latent Communication for Collaborative Driving Planning in the LLM Era: Building for Reliability and Efficiency Perception or Prejudice: Can MLLMs Go Beyond First Impressions of Personality? Search-E1: Self-Distillation Drives Self-Evolution in Search-Augmented Reasoning Epicure: Navigating the Emergent Geometry of Food Ingredient Embeddings Agent JIT Compilation for Latency-Optimizing Web Agent Planning and Scheduling Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search APEX: Autonomous Policy Exploration for Self-Evolving LLM Agents Parallel LLM Reasoning for Bias-Resilient, Robust Conceptual Abstraction DeCoR: Design and Control Co-Optimization for Urban Streets Using Reinforcement Learning JUDO: A Juxtaposed Domain-Oriented Multimodal Reasoner for Industrial Anomaly QA Mahjax: A GPU-Accelerated Mahjong Simulator for Reinforcement Learning in JAX PREFINE: Preference-Based Implicit Reward and Cost Fine-Tuning for Safety Alignment SOLAR: A Self-Optimizing Open-Ended Autonomous Agent for Lifelong Learning and Continual Adaptation Variance Reduction for Expectations with Diffusion Teachers \textit{Stochastic} MeanFlow Policies: One-Step Generative Control with Entropic Mirror Descent On the Regularity and Generalization of One-Step Wasserstein-guided Generative Models for PDE-Induced Measures Quantifying Hyperparameter Transfer and the Importance of Embedding Layer Learning Rate Pseudo-Siamese Network for Planning in Target-Oriented Proactive Dialogues Data-Efficient Neural Operator Training via Physics-Based Active Learning Code Generation by Differential Test Time Scaling NeuroQA: A Large-Scale Image-Grounded Benchmark for 3D Brain MRI Understanding STELLAR: Scaling 3D Perception Large Models for Autonomous Driving Multi-agent Collaboration with State Management \ECUAS{n}: A family of metrics for principled evaluation of uncertainty-augmented systems From Circuit Evidence to Mechanistic Theory: An Inductive Logic Approach Behavior-Consistent Deep Reinforcement Learning torchtune: PyTorch native post-training library TimeSRL: Generalizable Time-Series Behavioral Modeling via Semantic RL-Tuned LLMs -- A Case Study in Mental Health OCTOPUS: Optimized KV Cache for Transformers via Octahedral Parametrization Under optimal Squared error quantization How Much Online RL is Enough? Informative Rollouts for Offline Preference Optimization in RLVR Data Scaling as Progressive Coverage of a Predictive Contribution Spectrum SDM: A Powerful Tool for Evaluating Model Robustness Improving Quantized Model Performance in Qualitative Analysis with Multi-Pass Prompt Verification Approximation Theory for Neural Networks: Old and New AgentAtlas: Beyond Outcome Leaderboards for LLM Agents DEL: Digit Entropy Loss for Numerical Learning of Large Language Models Efficient Table QA via TableGrid Navigation and Progressive Inference Prompting Long-Context Reasoning Through Proxy-Based Chain-of-Thought Tuning HiRes: Inspectable Precedent Memory for Reaction Condition Recommendation

A Subjective Logic-based method for runtime confidence updates in safety arguments

Benjamin Her · 2026-05-23 · via cs.AI updates on arXiv.org

此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。原文来自 — 版权归原作者所有。