Feeds to Scour
SubscribedAll
Scoured 3171 posts in 13.4 ms
I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems  🧩Intermediate Representation
arxiv.org·20h
Approaching the Conway-99 problem using SAT solvers  🔣Type Systems
arxiv.org·2d
Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages  🔣Type Systems
arxiv.org·6d
AlphaJet: Automated Conceptual Aircraft Synthesis via Disentangled Generative Priors and Topology-Preserving Evolutionary Search  🎲Fuzzing
arxiv.org·20h
Defective Task Descriptions in LLM-Based Code Generation: Detection and Analysis  ⚡JIT Exploitation
arxiv.org·2d
A formal proof of the Sands-Sauer-Woodrow theorem using the Rocq prover and mathcomp/ssreflect  🔣Type Systems
arxiv.org·6d
From Prompt Risk to Response Risk: Paired Analysis of Safety Behavior of Large Language Model  🎲Fuzzing
arxiv.org·20h
BenchGuard: Who Guards the Benchmarks? Automated Auditing of LLM Agent Benchmarks  🔍Memory Forensics
arxiv.org·1d
Open Problems in Frontier AI Risk Management  🔣Type Systems
arxiv.org·20h
Reconstructive Authority Model: Runtime Execution Validity Under Partial Observability  🌐Protocol Fuzzing
arxiv.org·2d
Inferring Equivalence Classes from Legacy Undocumented Embedded Binaries for ISO 26262-Compliant Testing  💾Binary Analysis
arxiv.org·3d
Unifying Runtime Monitoring Approaches for Safety-Critical Machine Learning: Application to Vision-Based Landing  🎲Fuzzing
arxiv.org·20h
CoRE: A Fine-Grained Code Reasoning Benchmark Beyond Output Prediction  🌊Dataflow Analysis
arxiv.org·1d
An Undecidability Proof for the Plan Existence Problem  🌊Dataflow Analysis
arxiv.org·3d
ZFLean: a framework for set-level mathematics in Lean  🌊Dataflow Analysis
arxiv.org·2d
Lyapunov-Guided Self-Alignment: Test-Time Adaptation for Offline Safe Reinforcement Learning  🛡️Exploit Mitigations
arxiv.org·20h
Logic of Fuzzy Paths  🧩Intermediate Representation
arxiv.org·1d
SAGE: A Strategy-Aware Graph-Enhanced Generation Framework For Online Counseling  🌊Dataflow Analysis
arxiv.org·20h
Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation  ⚙️Compilers
arxiv.org·6d
Positional Properties in Temporal Logic  🧩Intermediate Representation
arxiv.org·1d

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