Towards a compositional semantics for quantitative confidence assessment in assurance 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

Towards Direct Evaluation of Harness Optimizers via Priority Ranking 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 KAPPS: A knowledge-based CPPS Architecture for the Circular Factory Unlocking Proactivity in Task-Oriented Dialogue Meta-Learning for Rapid Adaptation in Reference Tracking of Uncertain Nonlinear Systems A Causal Argumentation Method for Explainability of Machine Learning Models MindLoom: Composing Thought Modes for Frontier-Level Reasoning Data Synthesis Trace2Skill: Verifier-Guided Skill Evolution for Long-Context EDA Agents Compiling Agentic Workflows into LLM Weights: Near-Frontier Quality at Two Orders of Magnitude Less Cost Adapting the Interface, Not the Model: Runtime Harness Adaptation for Deterministic LLM Agents Evaluating Large Language Models as Live Strategic Agents: Provider Performance, Hybrid Decomposition, and Operational Gaps in Timed Risk Play ArborKV: Structure-Aware KV Cache Management for Scaling Tree-based LLM Reasoning Format-Constraint Coupling in Knowledge Graph Construction from Statistical Tables Scaling Observation-aware Planning in Uncertain Domains 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 Cross-domain benchmarks reveal when coordinated AI agents improve scientific inference from partial evidence 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 Meta-Soft: Leveraging Composable Meta-Tokens for Context-Preserving KV Cache Compression 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 SGR-Bench: Benchmarking Search Agents on State-Gated Retrieval SciCore-Mol: Augmenting Large Language Models with Pluggable Molecular Cognition Modules Measuring Cross-Modal Synergy: A Benchmark for VLM Explainability 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 S2ED: From Story to Executable Descriptions for Consistency-Aware Story Illustration 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) Evaluation of Pipelines for Data Integration into Knowledge Graphs 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 The Devil is in the Condition Numbers: Why is GLU Better than non-GLU Structure? 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 Self-Training Doesn't Flatten Language -- It Restructures It: Surface Markers Amplify While Deep Syntax Dies Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures 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 Runtime-Certified Bounded-Error Quantized Attention Winfree Oscillatory Neural Network PREFINE: Preference-Based Implicit Reward and Cost Fine-Tuning for Safety Alignment DASH: Fast Differentiable Architecture Search for Hybrid Attention in Minutes on a Single GPU 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 Multi-Step Likelihood-Ratio Correction for Reinforcement Learning with Verifiable Rewards NeuroQA: A Large-Scale Image-Grounded Benchmark for 3D Brain MRI Understanding Tunable MAGMAX: Preference-Aware Model Merging for Continual Learning STELLAR: Scaling 3D Perception Large Models for Autonomous Driving CAdam: Context-Adaptive Moment Estimation for 3D Gaussian Densification in Generative Distillation 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

Towards a compositional semantics for quantitative confidence assessment in assurance arguments

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

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