arXiv CS
open access
MARS: Malware Analysis with Rule-Based Scoring of LLM Claims
Large language models can triage malware through direct verdicts or behavioral claims scored by an external policy. We present MARS, a malware triage framework, and compare direct classification with single-pass claim scoring using the same evidence collector and identical static evidence bundles fo
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- MARS: Malware Analysis with Rule-Based Scoring of LLM Claims#1233592
- On Reasoning-Centric LLM-based Automated Theorem Proving#124126
- LeanSide: A Formally Verified Co-Reasoning System for Natural-language Proofs#1155695
- DARE: Dialectical Agentic Reasoning for Structured Knowledge Fact Checking#1083306
- Open-Source Intelligence for Code Provenance and the Security Patterns that Separate Human and Large-Language-Model Implementations of Common Programming Tasks#366199
Record · ID 1227268
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive