Feeds to Scour
SubscribedAll
Scoured 26635 posts in 22.1 ms
Automated LTL Specification Generation from Industrial Aerospace Requirements  ⚙️TLA+
arxiv.org·2d
Adaptive Instruction Composition for Automated LLM Red-Teaming  ⚡Incremental Computation
arxiv.org·2d
The Path Not Taken: Duality in Reasoning about Program Execution  🔍Concolic Testing
arxiv.org·2d
PrismaDV: Automated Task-Aware Data Unit Test Generation  🔍Concolic Testing
arxiv.org·2d
DALM: A Domain-Algebraic Language Model via Three-Phase Structured Generation  🌳Context free grammars
arxiv.org·6d
LLM StructCore: Schema-Guided Reasoning Condensation and Deterministic Compilation  🔗Functional Compilers
arxiv.org·3d
Compiling Deterministic Structure into SLM Harnesses  ⚙️PL Implementation
arxiv.org·5d
ldap_syntax2name (3) Linux Manual Page  📋LDIF Parsing
systutorials.com·1d
SolidCoder: Bridging the Mental-Reality Gap in LLM Code Generation through Concrete Execution  🦀Rust Macros
arxiv.org·3d
Bridging the Gap between User Intent and LLM: A Requirement Alignment Approach for Code Generation  🧩WASM Components
arxiv.org·6d
Symbolic Synthesis for LTLf+ Obligations  ⚔️Lean Tactics
arxiv.org·5d
Meta-Tool: Efficient Few-Shot Tool Adaptation for Small Language Models  🎯Gradual Typing
arxiv.org·3d
HELIX: Verified compilation of cyber-physical control systems to LLVM IR  ⚖️RISC-V Formal
arxiv.org·4d
Single-Language Evidence Is Insufficient for Automated Logging: A Multilingual Benchmark and Empirical Study with LLMs  📝Log Parsing
arxiv.org·5d
KnowledgeBerg: Evaluating Systematic Knowledge Coverage and Compositional Reasoning in Large Language Models  🌳Context free grammars
arxiv.org·5d
LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation  🏗️Compiler Archaeology
arxiv.org·6d
Verification Modulo Tested Library Contracts  ⚖️Verification Calculi
arxiv.org·6d
Are Large Language Models Economically Viable for Industry Deployment?  💻Local LLMs
arxiv.org·4d
Layer-wise MoE Routing Locality under Shared-Prefix Code Generation: Token-Identity Decomposition and Compile-Equivalent Fork Redundancy  📼Cassette Combinators
arxiv.org·5d
Polysemantic Experts, Monosemantic Paths: Routing as Control in MoEs  🧮SMT Solvers
arxiv.org·5d

No more posts from matmat's subscribed feeds.

Scour all 24375 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