Feeds to Scour
SubscribedAll
Scoured 3171 posts in 12.8 ms
Toward a Functional Geometric Algebra for Natural Language Semantics  🧩Intermediate Representation
arxiv.org·1d
Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems  ✅Formal Verification
arxiv.org·20h
Complexity Classes Arising from Circuits over Finite Algebraic Structures  🌊Dataflow Analysis
arxiv.org·6d
Minimum Reachability Probabilities in Rectangular Automata with Random Clocks  🌐Protocol Fuzzing
arxiv.org·2d
An Effective Orchestral Approach to Satisfiability Modulo Prime Fields  ✅Formal Verification
arxiv.org·20h
A Projection-Dimension Barrier for Direct Aggregation on the Step-Duplicating Primitive Recursor  🧩Intermediate Representation
arxiv.org·2d
LLM-Assisted Empirical Software Engineering: Systematic Literature Review and Research Agenda  ✅Formal Verification
arxiv.org·20h
Ownership Refinement Types for Pointer Arithmetic and Nested Arrays  💾Binary Analysis
arxiv.org·3d
Assistants, Not Architects: The Role of LLMs in Networked Systems Design  🌐Protocol Fuzzing
arxiv.org·1d
Open Problems in Frontier AI Risk Management  🔀Concolic Execution
arxiv.org·20h
The Surprising Universality of LLM Outputs: A Real-Time Verification Primitive  ✅Formal Verification
arxiv.org·1d
Enforcing Benign Trajectories: A Behavioral Firewall for Structured-Workflow AI Agents  🌊Dataflow Analysis
arxiv.org·20h
Agentic World Modeling: Foundations, Capabilities, Laws, and Beyond  ✅Formal Verification
arxiv.org·3d
Cognitive Atrophy and Systemic Collapse in AI-Dependent Software Engineering  ⚡JIT Exploitation
arxiv.org·20h
Partially Finite Model Reasoning in Description Logics Extended Version  ✅Formal Verification
arxiv.org·1d
PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing  🔀Concolic Execution
arxiv.org·20h
Reasoning Primitives in Hybrid and Non-Hybrid LLMs  🧩Intermediate Representation
arxiv.org·6d
Subword enumeration up to stack-sorting equivalence  🧩Intermediate Representation
arxiv.org·1d
MappingEvolve: LLM-Driven Code Evolution for Technology Mapping  ⚙️Compilers
arxiv.org·20h
The Polynomial Hierarchy and $\omega$-categorical CSPs  ✅Formal Verification
arxiv.org·2d

No more posts from amy.throwaway.lovely's subscribed feeds.

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