๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โœ… Formal Verification

Proof Assistants, Correctness Guarantees, Logic Systems, Specification

AI Agents Need Data Integrity
schneier.comยท3dยท
Discuss: www.schneier.com
๐Ÿ›ก๏ธSecurity
Do What? Teaching Vision-Language-Action Models to Reject the Impossible
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
WOMAC: A Mechanism For Prediction Competitions
arxiv.orgยท3h
๐Ÿ—๏ธLanguage Design
L-XAIDS: A LIME-based eXplainable AI framework for Intrusion Detection Systems
arxiv.orgยท3h
๐ŸŒNetwork Security
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.orgยท3h
๐Ÿฆ€Rust
Automated Semantic Disambiguation via Multi-Modal Knowledge Graph Fusion
dev.toยท1dยท
Discuss: DEV
๐Ÿ—๏ธLanguage Design
DocHop-QA: Towards Multi-Hop Reasoning over Multimodal Document Collections
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
Anemoi: A Semi-Centralized Multi-agent Systems Based on Agent-to-Agent Communication MCP server from Coral Protocol
arxiv.orgยท3h
๐ŸณContainer Orchestration
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.orgยท3h
๐Ÿ—๏ธLanguage Design
A Dynamic Approach to Collaborative Document Writing
arxiv.orgยท3h
๐Ÿ—๏ธLanguage Design
ISACL: Internal State Analyzer for Copyrighted Training Data Leakage
arxiv.orgยท3h
๐Ÿ—๏ธLanguage Design
Language Models Coupled with Metacognition Can Outperform Reasoning Models
arxiv.orgยท3h
๐Ÿ—๏ธLanguage Design
Automate the Testing of Your LLM Prompts
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„DevOps
Unveiling the Latent Directions of Reflection in Large Language Models
arxiv.orgยท3h
๐Ÿ—๏ธLanguage Design
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.toยท3dยท
Discuss: DEV
๐Ÿ”„DevOps
Agri-Query: A Case Study on RAG vs. Long-Context LLMs for Cross-Lingual Technical Question Answering
arxiv.orgยท3h
๐Ÿ—๏ธLanguage Design
The AI Data Scientist
arxiv.orgยท3h
๐Ÿ—๏ธLanguage Design
Can AI Have a Personality? Prompt Engineering for AI Personality Simulation: A Chatbot Case Study in Gender-Affirming Voice Therapy Training
arxiv.orgยท3h
๐Ÿ—๏ธLanguage Design
Multi-Agent Visual-Language Reasoning for Comprehensive Highway Scene Understanding
arxiv.orgยท3h
๐Ÿฆ€Rust
MTalk-Bench: Evaluating Speech-to-Speech Models in Multi-Turn Dialogues via Arena-style and Rubrics Protocols
arxiv.orgยท3h
๐Ÿ—๏ธLanguage Design
Loading...Loading more...
AboutBlogChangelogRoadmap