Advancing Mathematics Research with AI-Driven Formal Proof Search - 惯性聚合

推荐订阅源

博客园 - 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

Compiling Agentic Workflows into LLM Weights: Near-Frontier Quality at Two Orders of Magnitude Less Cost S2ED: From Story to Executable Descriptions for Consistency-Aware Story Illustration ExComm: Exploration-Stage Communication for Error-Resilient Agentic Test-Time Scaling Implicit Safety Alignment from Crowd Preferences Who Uses AI? Platforms, Workforce, and AI Exposure Towards a General Intelligence and Interface for Wearable Health Data WorkstreamBench: Evaluating LLM Agents on End-to-End Spreadsheet Tasks in Finance Meta-Soft: Leveraging Composable Meta-Tokens for Context-Preserving KV Cache Compression Towards a compositional semantics for quantitative confidence assessment in assurance arguments KAPPS: A knowledge-based CPPS Architecture for the Circular Factory SMDD-Bench: Can LLMs Solve Real-World Small Molecule Drug Design Tasks? Claw AI Lab: An Autonomous Multi-Agent Research Team AtelierEval: Agentic Evaluation of Humans & LLMs as Text-to-Image Prompters TO-Agents: A Multi-Agent AI Pipeline for Preference-Guided Topology Optimization A Causal Argumentation Method for Explainability of Machine Learning Models Scaling Observation-aware Planning in Uncertain Domains ArborKV: Structure-Aware KV Cache Management for Scaling Tree-based LLM Reasoning CLORE: Content-Level Optimization for Reasoning Efficiency Meta-Learning for Rapid Adaptation in Reference Tracking of Uncertain Nonlinear Systems Think Thrice Before You Speak: Dual knowledge-enhanced Theory-of-Mind Reasoning for Persuasive Agents MPDocBench-Parse: Benchmarking Practical Multi-page Document Parsing FLUID: From Ephemeral IDs to Multimodal Semantic Codes for Industrial-Scale Livestreaming Recommendation Cross-domain benchmarks reveal when coordinated AI agents improve scientific inference from partial evidence Can AI Make Conflicts Worse? An Alignment Failure in LLM Deployment Across Conflict Contexts Towards Direct Evaluation of Harness Optimizers via Priority Ranking HarnessAPI: A Skill-First Framework for Unified Streaming APIs and MCP Tools Latent-space Attacks for Refusal Evasion in Language Models AttuneBench: A Conversation-Based Benchmark for LLM Emotional Intelligence MindLoom: Composing Thought Modes for Frontier-Level Reasoning Data Synthesis Evaluating Large Language Models as Live Strategic Agents: Provider Performance, Hybrid Decomposition, and Operational Gaps in Timed Risk Play Format-Constraint Coupling in Knowledge Graph Construction from Statistical Tables Gated DeltaNet-2: Decoupling Erase and Write in Linear Attention The Log is the Agent: Event-Sourced Reactive Graphs for Auditable, Forkable Agentic Systems TerminalWorld: Benchmarking Agents on Real-World Terminal Tasks SciCore-Mol: Augmenting Large Language Models with Pluggable Molecular Cognition Modules LLM-Metrics: Measuring Research Impact Through Large Language Model Memory A Camera-Cooperative ISAC Framework for Multimodal Non-Cooperative UAVs Sensing Adapting the Interface, Not the Model: Runtime Harness Adaptation for Deterministic LLM Agents Active Evidence-Seeking and Diagnostic Reasoning in Large Language Models for Clinical Decision Support 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) Skill Weaving: Efficient LLM Improvement via Modular Skillpacks SGR-Bench: Benchmarking Search Agents on State-Gated Retrieval IdleSpec: Exploiting Idle Time via Speculative Planning for LLM Agents A Subjective Logic-based method for runtime confidence updates in safety arguments Spreadsheet-RL: Advancing Large Language Model Agents on Realistic Spreadsheet Tasks via Reinforcement Learning MOSS: Self-Evolution through Source-Level Rewriting in Autonomous Agent Systems Parametric Modular Answer Set Programs Made Declarative Forecasting Scientific Progress with Artificial Intelligence Beyond the Org Chart: AI and the Transformation of Invisible Work Deep Reinforcement Learning for Flexible Job Shop Scheduling with Random Job Arrivals Investigating Concept Alignment Using Implausible Category Members Benchmarking and Improving Monitors for Out-Of-Distribution Alignment Failure in LLMs Trace2Skill: Verifier-Guided Skill Evolution for Long-Context EDA Agents The Impact of AI Usage and Informativeness on Skill Development in Logical Reasoning ECPO: Evidence-Coupled Policy Optimization for Evidence-Certified Candidate Ranking AI-Enabled Serious Games: Integrating Intelligence and Adaptivity in Training Systems What Counts as AI Sycophancy? A Taxonomy and Expert Survey of a Fragmented Construct Measuring Cross-Modal Synergy: A Benchmark for VLM Explainability Toward AI VIS Co-Scientists: A General and End-to-End Agent Harness for Solving Complex Data Visualization Tasks Evaluation of Pipelines for Data Integration into Knowledge Graphs The Shape of Testimony: A Scalable Framework for Oral History Archive Comparison Unlocking Proactivity in Task-Oriented Dialogue Knowledge Graph Re-engineering Along the Ontological Continuum (extended version) Is Capability a Liability? More Capable Language Models Make Worse Forecasts When It Matters Most LCGuard: Latent Communication Guard for Safe KV Sharing in Multi-Agent Systems AMEL: Accumulated Message Effects on LLM Judgments Ratchet: A Minimal Hygiene Recipe for Self-Evolving LLM Agents Efficient Agentic Reasoning Through Self-Regulated Simulative Planning Enhancing Visual Token Representations for Video Large Language Models via Training-Free Spatial-Temporal Pooling and Gridding Echo: Learning from Experience Data via User-Driven Refinement Perception or Prejudice: Can MLLMs Go Beyond First Impressions of Personality? Planning in the LLM Era: Building for Reliability and Efficiency Beyond Acoustic Emotion Recognition: Multimodal Pathos Analysis in Political Speech Using LLM-Based and Acoustic Emotion Models Search-E1: Self-Distillation Drives Self-Evolution in Search-Augmented Reasoning LACO: Adaptive Latent Communication for Collaborative Driving ST-SimDiff: Balancing Spatiotemporal Similarity and Difference for Efficient Video Understanding with MLLMs 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 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 SOLAR: A Self-Optimizing Open-Ended Autonomous Agent for Lifelong Learning and Continual Adaptation Variance Reduction for Expectations with Diffusion Teachers 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 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 torchtune: PyTorch native post-training library 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

Advancing Mathematics Research with AI-Driven Formal Proof Search

George Tsouk · 2026-05-23 · via cs.AI updates on arXiv.org

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