BoolSkel: Unlocking Boolean Network Efficiency Through Structural Pruning by Arvind Sundararajan
🏗️Constructive Mathematics
Flag this post
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·3w
🏗️Constructive Mathematics
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·6d
🔢Number Theory
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
🔢Number Theory
Flag this post
News for October 2025
ptreview.sublinear.info·2d
🏗️Constructive Mathematics
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
⚙️Compilers
Flag this post
Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
arxiv.org·3w
🏗️Constructive Mathematics
Flag this post
The case against boolean logic
🏗️Constructive Mathematics
Flag this post
Large Reasoning Models Fail to Follow Instructions During Reasoning: A Benchmark Study
together.ai·2w
⚙️Compilers
Flag this post
An enough week
⚡SIMD
Flag this post
TabR1: Taming GRPO for tabular reasoning LLMs
arxiv.org·2w
⚙️Compilers
Flag this post
I Built a SAT Solver Inspired by Quantum Field Theory and It Works
🏗️Constructive Mathematics
Flag this post
Unambiguous SNARGs for P from LWE with Applications to PPAD Hardness
eprint.iacr.org·3w
🏗️Constructive Mathematics
Flag this post
On-Policy Distillation
⚙️Compilers
Flag this post
Modelling beliefs about sets
🏗️Constructive Mathematics
Flag this post
Free PLTL algebras and a coalgebraic extension of hyperdoctrines
topos.institute·3w
🏗️Constructive Mathematics
Flag this post
Loading...Loading more...