Feeds to Scour
SubscribedAll
Scoured 124016 posts in 44.5 ms
Cplus2ASP: Computing Action Language C+ in Answer Set Programming  🌳Pratt Parsing
arxiv.org·15h
Distributional Learning of Context-Free Languages under Fixed Finite-Monoid Typing  🔍Type Inference
arxiv.org·1d
MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs  🧮SMT Solvers
arxiv.org·15h
Containment Verification: AI Safety Guarantees Independent of Alignment  🌊CALM Theorem
arxiv.org·15h
Combining Mechanical and Agentic Specification Inference for Move  🎭Program Synthesis
arxiv.org·15h
Dsat: A Native SAT Solver for Discrete Logic  🧩Constraint Programming
arxiv.org·15h
Polymath: A Challenging Multi-modal Mathematical Reasoning Benchmark  🌳Pratt Parsing
arxiv.org·15h
Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification  👻Phantom Types
arxiv.org·5d
ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis  🎭Program Synthesis
arxiv.org·4d
Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs  🧮SMT Solvers
arxiv.org·5d
Continuations and Completeness in Proof-theoretic Semantics  ∘Category Theory
arxiv.org·5d
Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)  📝Parser Combinators
arxiv.org·6d
Hard CNF Instances for Ideal Proof Systems  🧮SMT Solvers
arxiv.org·5d
Evaluating Prompting and Execution-Based Methods for Deterministic Computation in LLMs  💬Prompt Engineering
arxiv.org·6d
Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effec  🎭Program Synthesis
arxiv.org·4d
A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers  🧮SMT Solvers
arxiv.org·6d
POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference  ✅Model Checking
arxiv.org·6d
Induction rules for Transition Algebra  🔍Type Inference
arxiv.org·6d
The Algebra of Iterative Constructions  ∘Category Theory
arxiv.org·6d
From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries  🧵Lightweight Threads
arxiv.org·6d

No more posts from hello's subscribed feeds.

Scour all 24963 feedsLearn more about Feeds

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