Feeds to Scour
SubscribedAll
Scoured 189003 posts in 28.3 ms
Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning  🧘‍♂️Zen Algorithms
arxiv.org·4d
Boolean PCSPs through the lens of Fourier Analysis  🌳S-Expressions
arxiv.org·5d
IRIS: Interleaved Reinforcement with Incremental Staged Curriculum for Cross-Lingual Mathematical Reasoning  🧘‍♂️Zen Algorithms
arxiv.org·4d
LegalDrill: Diagnosis-Driven Synthesis for Legal Reasoning in Small Language Models  🔗Parser Combinators
arxiv.org·4d
Rethinking Wireless Communications through Formal Mathematical AI Reasoning  🔬Cellular Automata
arxiv.org·3d
SSG: Logit-Balanced Vocabulary Partitioning for LLM Watermarking  🔗Parser Combinators
arxiv.org·5d
Omni-o3: Deep Nested Omnimodal Deduction for Deliberative Audio-Visual Reasoning  💻Creative Coding
arxiv.org·4d
FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean  🔗Parser Combinators
arxiv.org·4d
Learning Control Policies to Provably Satisfy Hard Affine Constraints for Black-Box Hybrid Dynamical Systems  ⚫Abstract Games
arxiv.org·5d
VISION-SLS: Safe Perception-Based Control from Learned Visual Representations via System Level Synthesis  🔀Procedural Generation
arxiv.org·3d
Toward a Characterization of Simulation Between Arithmetic Theories  🌳S-Expressions
arxiv.org·1d
An Effective Orchestral Approach to Satisfiability Modulo Prime Fields  🌳S-Expressions
arxiv.org·2d
Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems  🌳S-Expressions
arxiv.org·2d
Unentangled stoquastic Merlin-Arthur proof systems: the power of unentanglement without destructive interference  🪢Conway Notation
arxiv.org·1d
Pseudo-Complex Quantifier Elimination  λFunctional Languages
arxiv.org·2d
BAss: Symbolic Reasoning in Abstract Dialectical Frameworks  ⚫Abstract Games
arxiv.org·1d
Order-invariant cluster first-order logic on graph classes of bounded degree  λFunctional Languages
arxiv.org·1d
Approaching the Conway-99 problem using SAT solvers  🪢Conway Notation
arxiv.org·4d
Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers  🌳S-Expressions
arxiv.org·4d
When Chain-of-Thought Fails, the Solution Hides in the Hidden States  🧘‍♂️Zen Algorithms
arxiv.org·4d
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