Feeds to Scour
SubscribedAll
Scoured 26583 posts in 42.8 ms
Less Is More: Measuring How LLM Involvement affects Chatbot Accuracy in Static Analysis  ✅Formal Methods
arxiv.org·1d
Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation  🧩WASM Components
arxiv.org·1d
SDLLMFuzz: Dynamic-static LLM-assisted greybox fuzzing for structured input programs  🧪Binary Fuzzing
arxiv.org·4d
Automatic Code and Test Generation of Smart Contracts from Coordination Models  ⚔️Lean Tactics
arxiv.org·2d
Analyzing Chain of Thought (CoT) Approaches in Control Flow Code Deobfuscation Tasks  🔓Decompilation
arxiv.org·5d
The Root Theorem of Context Engineering  🌳Context free grammars
arxiv.org·1d
Breaking Bad: Interpretability-Based Safety Audits of State-of-the-Art LLMs  ⚡Proof Automation
arxiv.org·1d
DebugRepair: Enhancing LLM-Based Automated Program Repair via Self-Directed Debugging  👁️System Observability
arxiv.org·3d
SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification  ⚖️Verification Calculi
arxiv.org·1d
Task-Driven Co-Design of Heterogeneous Multi-Robot Systems  🧩WASM Components
arxiv.org·1d
HELIX: Verified compilation of cyber-physical control systems to LLVM IR  ⚖️RISC-V Formal
arxiv.org·3d
Agentic Education: Using Claude Code to Teach Claude Code  🗺️Competency Maps
arxiv.org·4d
From Craft to Kernel: A Governance-First Execution Architecture and Semantic ISA for Agentic Computers  ⚡SMT Integration
arxiv.org·3d
When AI Models Become Dependencies: Studying the Evolution of Pre-Trained Model Reuse in Downstream Software Systems  ⚡Incremental Computation
arxiv.org·4d
Synthesizing Backward Error Bounds, Backward  📐Error Bounds
arxiv.org·5d
CASCADE: Detecting Inconsistencies between Code and Documentation with Automatic Test Generation  ⚡Proof Automation
arxiv.org·3d
Equational and Inductive Reasoning for Maude in Athena  👑Isabelle
arxiv.org·3d
Cascaded Code Editing: Large-Small Model Collaboration for Effective and Efficient Code Editing  🏗️Compiler Archaeology
arxiv.org·3d
RASP-Tuner: Retrieval-Augmented Soft Prompts for Context-Aware Black-Box Optimization in Non-Stationary Environments  ✨Effect Handlers
arxiv.org·4d
jMT: Testing Correctness of Java Memory Models (Extended Version)  ⚡SMT Integration
arxiv.org·5d

No more posts from matmat's subscribed feeds.

Scour all 24374 feedsLearn more about Feeds
Sign up or log in to see more results
Sign UpLogin

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help